Symbol: os_vmspace_create
sys/dev/virtual/nvmm/nvmm.c
276
mach->vm = os_vmspace_create(mach->gpa_begin, mach->gpa_end);
sys/dev/virtual/nvmm/nvmm_os.h
275
os_vmspace_t * os_vmspace_create(vaddr_t, vaddr_t);