diff options
| author | Mark Johnston <markj@FreeBSD.org> | 2024-04-03 17:01:31 +0000 |
|---|---|---|
| committer | Mark Johnston <markj@FreeBSD.org> | 2024-04-10 15:17:56 +0000 |
| commit | 7e0fa794123eb8395fffa976c47e8ba4f44f2df0 (patch) | |
| tree | bb090270578d75835a213841676ed21f65e392ea /lib/libvmmapi/vmmapi.h | |
| parent | 8b06bdc91ddff995beed7bdcb6e5541c5ca227ef (diff) | |
Diffstat (limited to 'lib/libvmmapi/vmmapi.h')
| -rw-r--r-- | lib/libvmmapi/vmmapi.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/libvmmapi/vmmapi.h b/lib/libvmmapi/vmmapi.h index b69f02cde7e4..bd182b0914fc 100644 --- a/lib/libvmmapi/vmmapi.h +++ b/lib/libvmmapi/vmmapi.h @@ -135,11 +135,11 @@ int vm_gla2gpa_nofault(struct vcpu *vcpu, struct vm_guest_paging *paging, uint64_t gla, int prot, uint64_t *gpa, int *fault); uint32_t vm_get_lowmem_limit(struct vmctx *ctx); -void vm_set_lowmem_limit(struct vmctx *ctx, uint32_t limit); void vm_set_memflags(struct vmctx *ctx, int flags); int vm_get_memflags(struct vmctx *ctx); const char *vm_get_name(struct vmctx *ctx); size_t vm_get_lowmem_size(struct vmctx *ctx); +vm_paddr_t vm_get_highmem_base(struct vmctx *ctx); size_t vm_get_highmem_size(struct vmctx *ctx); #ifdef __amd64__ int vm_set_desc(struct vcpu *vcpu, int reg, |