Searched refs:vmspace_destroy (Results 1 – 3 of 3) sorted by relevance
43 void vmspace_destroy(vmspace_t *);
262 vmspace_destroy(vmspace_t *vms) in vmspace_destroy() function
725 vmspace_destroy(vm->vmspace); in vm_cleanup()