Symbol: os_vmspace_destroy
sys/dev/virtual/nvmm/nvmm.c
224
os_vmspace_destroy(mach->vm);
sys/dev/virtual/nvmm/nvmm.c
317
os_vmspace_destroy(mach->vm);
sys/dev/virtual/nvmm/nvmm_os.h
276
void os_vmspace_destroy(os_vmspace_t *);