Symbol: vm_cleanup
usr/src/uts/intel/io/vmm/vmm.c
760
vm_cleanup(vm, true);
usr/src/uts/intel/io/vmm/vmm.c
767
vm_cleanup(vm, false);