EFI_RUNTIME_SERVICES_CODE 443 arch/x86/kernel/efi.c if (md->type != EFI_RUNTIME_SERVICES_CODE) EFI_RUNTIME_SERVICES_CODE 69 arch/x86/kernel/efi_64.c if (md->type == EFI_RUNTIME_SERVICES_CODE) {