EFI_RUNTIME_SERVICES
set_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (efi_enabled(EFI_RUNTIME_SERVICES))
return efi_enabled(EFI_RUNTIME_SERVICES);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (!efi_enabled(EFI_RUNTIME_SERVICES))
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (efi_enabled(EFI_RUNTIME_SERVICES))
set_bit(EFI_RUNTIME_SERVICES, &efi.flags);
return efi_enabled(EFI_RUNTIME_SERVICES) &&
if (efi_enabled(EFI_RUNTIME_SERVICES))
if (efi_enabled(EFI_RUNTIME_SERVICES))
if (!efi_enabled(EFI_RUNTIME_SERVICES))
if (efi_enabled(EFI_RUNTIME_SERVICES) && !efi_enabled(EFI_64BIT)) {
if (!efi_enabled(EFI_RUNTIME_SERVICES)) {
set_bit(EFI_RUNTIME_SERVICES, &efi.flags);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (!efi_enabled(EFI_RUNTIME_SERVICES)) {
if (!efi_enabled(EFI_RUNTIME_SERVICES)) {
if (efi_enabled(EFI_RUNTIME_SERVICES)) {
set_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (efi_enabled(EFI_RUNTIME_SERVICES))
if (!efi_enabled(EFI_RUNTIME_SERVICES))
if (!efi_enabled(EFI_RUNTIME_SERVICES))
clear_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (efi_enabled(EFI_RUNTIME_SERVICES)) {
set_bit(EFI_RUNTIME_SERVICES, &efi.flags);
if (!efi_enabled(EFI_RUNTIME_SERVICES)) {