Symbol: vmspace_alloc
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
43
vmspace_t *vmspace_alloc(size_t);
usr/src/uts/intel/io/vmm/vmm.c
627
vmspace = vmspace_alloc(VM_MAXUSER_ADDRESS);