Symbol: vm_reset
sys/dev/vmm/vmm_vm.c
406
vm_reset(vm);
sys/dev/vmm/vmm_vm.h
162
void vm_reset(struct vm *vm);