vm_shutdown
vm_shutdown(v->cmd == VMMCI_REBOOT ? VMMCI_REBOOT : VMMCI_SHUTDOWN);
__dead void vm_shutdown(unsigned int);