67 __area_isvalid(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in __area_isvalid()
91 __area_add(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa, size_t size,  in __area_add()
125 __area_delete(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in __area_delete()
143 __area_remove_all(struct nvmm_machine *mach)  in __area_remove_all()
220 nvmm_machine_create(struct nvmm_machine *mach)  in nvmm_machine_create()
254 nvmm_machine_destroy(struct nvmm_machine *mach)  in nvmm_machine_destroy()
272 nvmm_machine_configure(struct nvmm_machine *mach, uint64_t op, void *conf)  in nvmm_machine_configure()
289 nvmm_vcpu_create(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,  in nvmm_vcpu_create()
320 nvmm_vcpu_destroy(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_destroy()
341 nvmm_vcpu_configure(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_configure()
366 nvmm_vcpu_setstate(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_setstate()
379 nvmm_vcpu_getstate(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_getstate()
404 nvmm_vcpu_inject(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_inject()
415 nvmm_vcpu_run(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_run()
435 nvmm_gpa_map(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in nvmm_gpa_map()
461 nvmm_gpa_unmap(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in nvmm_gpa_unmap()
485 nvmm_hva_map(struct nvmm_machine *mach, uintptr_t hva, size_t size)  in nvmm_hva_map()
502 nvmm_hva_unmap(struct nvmm_machine *mach, uintptr_t hva, size_t size)  in nvmm_hva_unmap()
523 nvmm_gpa_to_hva(struct nvmm_machine *mach, gpaddr_t gpa, uintptr_t *hva,  in nvmm_gpa_to_hva()