vm_paddr_t
vm_paddr_t *physmap, int *physmap_idx);
extern vm_paddr_t efi_systbl;
static_assert(sizeof(vm_paddr_t) <= sizeof(uint64_t),
mpt_build_mpfp(mpfps_t mpfp, vm_paddr_t gpa)
vm_paddr_t highmem;
vm_paddr_t gpa;
static vm_paddr_t gpa_base; /* GPA of low end of region. */
static vm_paddr_t gpa_allocbot; /* Low GPA of free region. */
static vm_paddr_t gpa_alloctop; /* High GPA, minus 1, of free region. */
vm_paddr_t gpa;
vm_paddr_t gpa_pmap;
int sglist_append_phys(struct sglist *, vm_paddr_t, size_t);
vm_readwrite_kernemu_device(struct vcpu *vcpu, vm_paddr_t gpa,
vm_paddr_t gpa, size_t len, vm_paddr_t hpa)
vm_paddr_t gpa, size_t len)
vm_map_pptdev_mmio(struct vmctx *ctx, int pptfd, vm_paddr_t gpa, size_t len,
vm_paddr_t hpa)
vm_unmap_pptdev_mmio(struct vmctx *ctx, int pptfd, vm_paddr_t gpa, size_t len)
vm_mmap_memseg(struct vmctx *ctx, vm_paddr_t gpa, int segid, vm_ooffset_t off,
vm_munmap_memseg(struct vmctx *ctx, vm_paddr_t gpa, size_t len)
vm_mmap_getnext(struct vmctx *ctx, vm_paddr_t *gpa, int *segid,
setup_memory_segment(struct vmctx *ctx, vm_paddr_t gpa, size_t len, char *base)
setup_memory_segment(struct vmctx *ctx, int segid, vm_paddr_t gpa, size_t len,
vm_paddr_t gpa;
vm_map_gpa(struct vmctx *ctx, vm_paddr_t gaddr, size_t len)
vm_paddr_t
vm_paddr_t offaddr;
return ((vm_paddr_t)-1);
vm_paddr_t
int vm_mmap_getnext(struct vmctx *ctx, vm_paddr_t *gpa, int *segid,
int vm_mmap_memseg(struct vmctx *ctx, vm_paddr_t gpa, int segid,
int vm_munmap_memseg(struct vmctx *ctx, vm_paddr_t gpa, size_t len);
void *vm_map_gpa(struct vmctx *ctx, vm_paddr_t gaddr, size_t len);
vm_paddr_t vm_rev_map_gpa(struct vmctx *ctx, void *addr);
vm_paddr_t vm_get_highmem_base(struct vmctx *ctx);
vm_paddr_t gpa, bool write, int size, uint64_t *value);
vm_paddr_t gpa, size_t len, vm_paddr_t hpa);
vm_paddr_t gpa, size_t len);
int vm_map_pptdev_mmio(struct vmctx *ctx, int pptfd, vm_paddr_t gpa,
size_t len, vm_paddr_t hpa);
int vm_unmap_pptdev_mmio(struct vmctx *ctx, int pptfd, vm_paddr_t gpa,
amdvi_create_domain(vm_paddr_t maxaddr)
amdvi_set_pt(uint64_t *pt, int level, vm_paddr_t gpa,
vm_paddr_t hpa, uint64_t pg_size, bool create)
amdvi_update_mapping(struct amdvi_domain *domain, vm_paddr_t gpa,
vm_paddr_t hpa, uint64_t size, bool create)
amdvi_create_mapping(void *arg, vm_paddr_t gpa, vm_paddr_t hpa,
amdvi_remove_mapping(void *arg, vm_paddr_t gpa, uint64_t len)
vm_paddr_t msrpm_pa, iopm_pa, pml4_pa;
vm_paddr_t msr_bitmap_pa = vtophys(vmx->msr_bitmap[i]);
vm_paddr_t apic_page_pa = vtophys(&vmx->apic_page[i]);
vm_paddr_t pir_desc_pa = vtophys(&vmx->pir_desc[i]);
vm_paddr_t maxaddr; /* highest address to be mapped */
vm_paddr_t ctx_paddr;
vm_paddr_t pt_paddr;
vtd_update_mapping(void *arg, vm_paddr_t gpa, vm_paddr_t hpa, uint64_t len,
vtd_create_mapping(void *arg, vm_paddr_t gpa, vm_paddr_t hpa, uint64_t len)
vtd_remove_mapping(void *arg, vm_paddr_t gpa, uint64_t len)
vtd_create_domain(vm_paddr_t maxaddr)
vm_paddr_t addr;
const vm_paddr_t maxaddr = vmm_mem_maxaddr();
iommu_create_domain(vm_paddr_t maxaddr)
iommu_create_mapping(void *domain, vm_paddr_t gpa, vm_paddr_t hpa, size_t len)
iommu_remove_mapping(void *domain, vm_paddr_t gpa, size_t len)
static vm_paddr_t
typedef void *(*iommu_create_domain_t)(vm_paddr_t maxaddr);
typedef uint64_t (*iommu_create_mapping_t)(void *domain, vm_paddr_t gpa,
vm_paddr_t hpa, uint64_t len);
typedef uint64_t (*iommu_remove_mapping_t)(void *domain, vm_paddr_t gpa,
void *iommu_create_domain(vm_paddr_t maxaddr);
void iommu_create_mapping(void *domain, vm_paddr_t gpa, vm_paddr_t hpa,
void iommu_remove_mapping(void *domain, vm_paddr_t gpa, size_t len);
ppt_is_mmio(struct vm *vm, vm_paddr_t gpa)
ppt_map_mmio(struct vm *vm, int pptfd, vm_paddr_t gpa, size_t len,
vm_paddr_t hpa)
ppt_unmap_mmio(struct vm *vm, int pptfd, vm_paddr_t gpa, size_t len)
vm_paddr_t gpa;
int ppt_map_mmio(struct vm *vm, int pptfd, vm_paddr_t gpa, size_t len,
vm_paddr_t hpa);
int ppt_unmap_mmio(struct vm *vm, int pptfd, vm_paddr_t gpa, size_t len);
boolean_t ppt_is_mmio(struct vm *vm, vm_paddr_t gpa);
int vm_mmap_memseg(struct vm *, vm_paddr_t, int, uintptr_t, size_t, int, int);
int vm_munmap_memseg(struct vm *, vm_paddr_t, size_t);
int vm_map_mmio(struct vm *vm, vm_paddr_t gpa, size_t len, vm_paddr_t hpa);
int vm_unmap_mmio(struct vm *vm, vm_paddr_t gpa, size_t len);
int vm_mmap_getnext(struct vm *, vm_paddr_t *, int *, uintptr_t *, size_t *,
vm_paddr_t vmm_sysmem_maxaddr(struct vm *vm);
bool vm_mem_allocated(struct vm *vm, int vcpuid, vm_paddr_t gpa);
vm_paddr_t vtophys(void *);
vm_munmap_memseg(struct vm *vm, vm_paddr_t gpa, size_t len)
vm_mmap_getnext(struct vm *vm, vm_paddr_t *gpa, int *segid,
vm_paddr_t
vm_paddr_t maxaddr;
vm_paddr_t gpa, hpa;
vm_paddr_t maxaddr;
vm_paddr_t gpa;
vm_map_mmio(struct vm *vm, vm_paddr_t gpa, size_t len, vm_paddr_t hpa)
vm_unmap_mmio(struct vm *vm, vm_paddr_t gpa, size_t len)
vm_mem_allocated(struct vm *vm, int vcpuid, vm_paddr_t gpa)
vm_mmap_memseg(struct vm *vm, vm_paddr_t gpa, int segid, uintptr_t off,
vm_paddr_t
vm_paddr_t gpa;
vm_paddr_t hpa;
vm_paddr_t gpa;
vm_paddr_t gpa;