SHUTDOWN_crash
case SHUTDOWN_crash:
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);
(void) HYPERVISOR_shutdown(SHUTDOWN_crash);