67 __area_isvalid(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in __area_isvalid()  argument
70 	area_list_t *areas = mach->areas;  in __area_isvalid()
91 __area_add(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa, size_t size,  in __area_add()  argument
94 	area_list_t *areas = mach->areas;  in __area_add()
106 	if (!__area_isvalid(mach, hva, gpa, size)) {  in __area_add()
125 __area_delete(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in __area_delete()  argument
128 	area_list_t *areas = mach->areas;  in __area_delete()
143 __area_remove_all(struct nvmm_machine *mach)  in __area_remove_all()  argument
145 	area_list_t *areas = mach->areas;  in __area_remove_all()
220 nvmm_machine_create(struct nvmm_machine *mach)  in nvmm_machine_create()  argument
245 	memset(mach, 0, sizeof(*mach));  in nvmm_machine_create()
246 	mach->machid = args.machid;  in nvmm_machine_create()
247 	mach->pages = pages;  in nvmm_machine_create()
248 	mach->areas = areas;  in nvmm_machine_create()
254 nvmm_machine_destroy(struct nvmm_machine *mach)  in nvmm_machine_destroy()  argument
259 	args.machid = mach->machid;  in nvmm_machine_destroy()
265 	__area_remove_all(mach);  in nvmm_machine_destroy()
266 	free(mach->pages);  in nvmm_machine_destroy()
272 nvmm_machine_configure(struct nvmm_machine *mach, uint64_t op, void *conf)  in nvmm_machine_configure()  argument
277 	args.machid = mach->machid;  in nvmm_machine_configure()
289 nvmm_vcpu_create(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,  in nvmm_vcpu_create()  argument
296 	args.machid = mach->machid;  in nvmm_vcpu_create()
304 	    nvmm_fd, NVMM_COMM_OFF(mach->machid, cpuid));  in nvmm_vcpu_create()
308 	mach->pages[cpuid] = comm;  in nvmm_vcpu_create()
320 nvmm_vcpu_destroy(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_destroy()  argument
326 	args.machid = mach->machid;  in nvmm_vcpu_destroy()
333 	comm = mach->pages[vcpu->cpuid];  in nvmm_vcpu_destroy()
341 nvmm_vcpu_configure(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_configure()  argument
353 	args.machid = mach->machid;  in nvmm_vcpu_configure()
366 nvmm_vcpu_setstate(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_setstate()  argument
371 	comm = mach->pages[vcpu->cpuid];  in nvmm_vcpu_setstate()
379 nvmm_vcpu_getstate(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu,  in nvmm_vcpu_getstate()  argument
386 	comm = mach->pages[vcpu->cpuid];  in nvmm_vcpu_getstate()
393 	args.machid = mach->machid;  in nvmm_vcpu_getstate()
404 nvmm_vcpu_inject(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_inject()  argument
408 	comm = mach->pages[vcpu->cpuid];  in nvmm_vcpu_inject()
415 nvmm_vcpu_run(struct nvmm_machine *mach, struct nvmm_vcpu *vcpu)  in nvmm_vcpu_run()  argument
420 	args.machid = mach->machid;  in nvmm_vcpu_run()
435 nvmm_gpa_map(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in nvmm_gpa_map()  argument
441 	ret = __area_add(mach, hva, gpa, size, prot);  in nvmm_gpa_map()
445 	args.machid = mach->machid;  in nvmm_gpa_map()
461 nvmm_gpa_unmap(struct nvmm_machine *mach, uintptr_t hva, gpaddr_t gpa,  in nvmm_gpa_unmap()  argument
467 	ret = __area_delete(mach, hva, gpa, size);  in nvmm_gpa_unmap()
471 	args.machid = mach->machid;  in nvmm_gpa_unmap()
485 nvmm_hva_map(struct nvmm_machine *mach, uintptr_t hva, size_t size)  in nvmm_hva_map()  argument
490 	args.machid = mach->machid;  in nvmm_hva_map()
502 nvmm_hva_unmap(struct nvmm_machine *mach, uintptr_t hva, size_t size)  in nvmm_hva_unmap()  argument
507 	args.machid = mach->machid;  in nvmm_hva_unmap()
523 nvmm_gpa_to_hva(struct nvmm_machine *mach, gpaddr_t gpa, uintptr_t *hva,  in nvmm_gpa_to_hva()  argument
526 	area_list_t *areas = mach->areas;  in nvmm_gpa_to_hva()