68 __area_isvalid(struct nvmm_machine *mach, gpaddr_t gpa, size_t size)  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()
255 nvmm_machine_destroy(struct nvmm_machine *mach)  in nvmm_machine_destroy()
273 nvmm_machine_configure(struct nvmm_machine *mach, uint64_t op, void *conf)  in nvmm_machine_configure()
290 nvmm_vcpu_create(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,  in nvmm_vcpu_create()
315 nvmm_vcpu_destroy(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_destroy()
342 nvmm_vcpu_configure(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_configure()
367 nvmm_vcpu_setstate(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_setstate()
380 nvmm_vcpu_getstate(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_getstate()
405 nvmm_vcpu_inject(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_inject()
416 nvmm_vcpu_run(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_run()
436 nvmm_gpa_map(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in nvmm_gpa_map()
462 nvmm_gpa_unmap(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in nvmm_gpa_unmap()
486 nvmm_hva_map(struct nvmm_machine *mach, uintptr_t hva, size_t size)  in nvmm_hva_map()
503 nvmm_hva_unmap(struct nvmm_machine *mach, uintptr_t hva, size_t size)  in nvmm_hva_unmap()
524 nvmm_gpa_to_hva(struct nvmm_machine *mach, gpaddr_t gpa, uintptr_t *hva,  in nvmm_gpa_to_hva()