Searched refs:EFI_RT_SUPPORTED_RESET_SYSTEM (Results 1 – 2 of 2) sorted by relevance
18 if (!efi_rt_services_supported(EFI_RT_SUPPORTED_RESET_SYSTEM)) in efi_reboot()67 if (!efi_rt_services_supported(EFI_RT_SUPPORTED_RESET_SYSTEM)) in efi_shutdown_init()
586 #define EFI_RT_SUPPORTED_RESET_SYSTEM 0x0400 macro