kernel/drivers/firmware/efi/reboot.c
.. .. @@ -15,7 +15,7 @@ 15 15 const char *str[] = { "cold", "warm", "shutdown", "platform" }; 16 16 int efi_mode, cap_reset_mode; 17 17 18 - if (!efi_enabled(EFI_RUNTIME_SERVICES))18 + if (!efi_rt_services_supported(EFI_RT_SUPPORTED_RESET_SYSTEM))19 19 return; 20 20 21 21 switch (reboot_mode) { .. .. @@ -64,7 +64,7 @@ 64 64 65 65 static int __init efi_shutdown_init(void) 66 66 { 67 - if (!efi_enabled(EFI_RUNTIME_SERVICES))67 + if (!efi_rt_services_supported(EFI_RT_SUPPORTED_RESET_SYSTEM))68 68 return -ENODEV; 69 69 70 70 if (efi_poweroff_required()) {