src/add-ons/kernel/drivers/nvmm/nvmm.c

164

os_vmobj_unmap(os_kernel_map, (vaddr_t)vcpu->comm,

src/add-ons/kernel/drivers/nvmm/nvmm.c

742

os_vmobj_unmap(os_curproc_map, hmapping->hva,

src/add-ons/kernel/drivers/nvmm/nvmm.c

922

os_vmobj_unmap(vm_map, gpa, gpa + args->size, false);

src/add-ons/kernel/drivers/nvmm/nvmm.c

925

os_vmobj_unmap(&mach->vm->vm_map, gpa, gpa + args->size, false);

src/add-ons/kernel/drivers/nvmm/nvmm_os.h

402

void os_vmobj_unmap(os_vmmap_t *map, vaddr_t, vaddr_t, bool);

src/libs/nvmm/driver/nvmm.c

164

os_vmobj_unmap(os_kernel_map, (vaddr_t)vcpu->comm,

src/libs/nvmm/driver/nvmm.c

742

os_vmobj_unmap(os_curproc_map, hmapping->hva,

src/libs/nvmm/driver/nvmm.c

922

os_vmobj_unmap(vm_map, gpa, gpa + args->size, false);

src/libs/nvmm/driver/nvmm.c

925

os_vmobj_unmap(&mach->vm->vm_map, gpa, gpa + args->size, false);

src/libs/nvmm/driver/nvmm_os.h

402

void os_vmobj_unmap(os_vmmap_t *map, vaddr_t, vaddr_t, bool);