diff options
-rw-r--r-- | arch/x86/platform/efi/efi.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/x86/platform/efi/efi.c b/arch/x86/platform/efi/efi.c index 313468fe2555..e1495ed4fb7f 100644 --- a/arch/x86/platform/efi/efi.c +++ b/arch/x86/platform/efi/efi.c @@ -77,6 +77,8 @@ static __initdata efi_config_table_type_t arch_tables[] = { u64 efi_setup; /* efi setup_data physical address */ +unsigned long x86_efi_facility; + static bool __initdata disable_runtime = false; static int __init setup_noefi(char *arg) { |