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

393

error = os_vmobj_map(os_kernel_map, (vaddr_t *)&vcpu->comm,

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

400

error = os_vmobj_map(os_kernel_map, (vaddr_t *)&vcpu->comm,

src/add-ons/kernel/drivers/nvmm/nvmm_haiku.cpp

321

os_vmmap_t *os_kernel_map = &sDummyKernelMap;

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

143

extern os_vmmap_t *os_kernel_map;

src/libs/nvmm/driver/nvmm.c

164

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

src/libs/nvmm/driver/nvmm.c

393

error = os_vmobj_map(os_kernel_map, (vaddr_t *)&vcpu->comm,

src/libs/nvmm/driver/nvmm.c

400

error = os_vmobj_map(os_kernel_map, (vaddr_t *)&vcpu->comm,

src/libs/nvmm/driver/nvmm_haiku.cpp

321

os_vmmap_t *os_kernel_map = &sDummyKernelMap;

src/libs/nvmm/driver/nvmm_os.h

143

extern os_vmmap_t *os_kernel_map;