EFI_RESET_COLD     27 drivers/firmware/efi/reboot.c 		efi_mode = EFI_RESET_COLD;
EFI_RESET_COLD    262 drivers/xen/efi.c 	case EFI_RESET_COLD: