SHUTDOWN_reboot

855

case SHUTDOWN_reboot:

168

printf("#define\tSHUTDOWN_reboot 0x%x\n", SHUTDOWN_reboot);

507

(void) HYPERVISOR_shutdown(SHUTDOWN_reboot);

486

(void) HYPERVISOR_shutdown(SHUTDOWN_reboot);

501

(void) HYPERVISOR_shutdown(SHUTDOWN_reboot);

341

(void) HYPERVISOR_shutdown(SHUTDOWN_reboot);

356

(void) HYPERVISOR_shutdown(SHUTDOWN_reboot);