efi_runtime_update_mappings 93 arch/x86/platform/efi/efi_32.c void __init efi_runtime_update_mappings(void) efi_runtime_update_mappings 556 arch/x86/platform/efi/efi_64.c void __init efi_runtime_update_mappings(void)