Symbol: vmspace_destroy
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
44
void vmspace_destroy(vmspace_t *);
usr/src/uts/intel/io/vmm/vmm.c
634
vmspace_destroy(vmspace);
usr/src/uts/intel/io/vmm/vmm.c
752
vmspace_destroy(vm->vmspace);