VMMCI_REBOOT
case VMMCI_REBOOT:
case VMMCI_REBOOT:
cmd = VMMCI_REBOOT;
case VMMCI_REBOOT:
vm_shutdown(v->cmd == VMMCI_REBOOT ? VMMCI_REBOOT : VMMCI_SHUTDOWN);
if (vmmci_ctl(&vmmci, VMMCI_REBOOT) == -1)
case VMMCI_REBOOT: