REBOOT_WARM       666 arch/ia64/kernel/process.c 	efi_reboot(REBOOT_WARM, NULL);
REBOOT_WARM       606 arch/x86/kernel/reboot.c 	mode = reboot_mode == REBOOT_WARM ? 0x1234 : 0;
REBOOT_WARM       661 arch/x86/kernel/reboot.c 				u8 reboot_code = reboot_mode == REBOOT_WARM ?  0x06 : 0x0E;
REBOOT_WARM        22 drivers/firmware/efi/reboot.c 	case REBOOT_WARM:
REBOOT_WARM       255 drivers/firmware/psci/psci.c 	if ((reboot_mode == REBOOT_WARM || reboot_mode == REBOOT_SOFT) &&
REBOOT_WARM       542 kernel/reboot.c 			*mode = REBOOT_WARM;