REBOOT_WARM
.reboot_mode = REBOOT_WARM,
if (mode == REBOOT_WARM)
if (mode == REBOOT_WARM)
efi_reboot(REBOOT_WARM, NULL);
sbi_srst_reset((mode == REBOOT_WARM || mode == REBOOT_SOFT) ?
mode = reboot_mode == REBOOT_WARM ? 0x1234 : 0;
u8 reboot_code = reboot_mode == REBOOT_WARM ? 0x06 : 0x0E;
case REBOOT_WARM:
if ((reboot_mode == REBOOT_WARM || reboot_mode == REBOOT_SOFT) &&
if (reboot_mode == REBOOT_WARM)
if (reboot_mode == REBOOT_WARM)
if (reboot_mode == REBOOT_WARM)
[REBOOT_WARM] = {
case REBOOT_WARM:
*mode = REBOOT_WARM;
case REBOOT_WARM:
reboot_mode = REBOOT_WARM;