gpaddr_t
__area_delete(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,
nvmm_gpa_map(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,
nvmm_gpa_unmap(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,
nvmm_gpa_to_hva(struct nvmm_machine *mach, gpaddr_t gpa, uintptr_t *hva,
gpaddr_t gpa;
__area_isvalid(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,
__area_add(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa, size_t size,
gvaddr_t gva, gpaddr_t *gpa, bool has_pse, nvmm_prot_t *prot)
gpaddr_t L2gpa, L1gpa;
gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
gpaddr_t L3gpa, L2gpa, L1gpa;
gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
gpaddr_t L4gpa, L3gpa, L2gpa, L1gpa;
gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
gpaddr_t gpa;
gpaddr_t gpa;
int nvmm_gpa_map(struct nvmm_machine *, uintptr_t, gpaddr_t, size_t, int);
int nvmm_gpa_unmap(struct nvmm_machine *, uintptr_t, gpaddr_t, size_t);
gpaddr_t *, nvmm_prot_t *);
int nvmm_gpa_to_hva(struct nvmm_machine *, gpaddr_t, uintptr_t *,
gpaddr_t gpa;
gpaddr_t gpa;
gpaddr_t gpa_end;
gpaddr_t gpa;
gpaddr_t gpa_end;
gpaddr_t gpa_begin;
gpaddr_t gpa_end;
gpaddr_t gpa;
gpaddr_t gpa;
gpaddr_t gpa;
gpaddr_t gpa = cpudata->vmcb->ctrl.exitinfo2;
gpaddr_t gpa;