diff options
| -rw-r--r-- | arch/x86/platform/efi/efi.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/arch/x86/platform/efi/efi.c b/arch/x86/platform/efi/efi.c index a4756ae4dc2e..8aee671ad05f 100644 --- a/arch/x86/platform/efi/efi.c +++ b/arch/x86/platform/efi/efi.c @@ -77,17 +77,6 @@ static __initdata efi_config_table_type_t arch_tables[] = { u64 efi_setup; /* efi setup_data physical address */ -/* - * Returns 1 if 'facility' is enabled, 0 otherwise. - */ -int efi_enabled(int facility) -{ - return test_bit(facility, &x86_efi_facility) != 0; -} -EXPORT_SYMBOL(efi_enabled); - -u64 efi_setup; /* efi setup_data physical address */ - static bool __initdata disable_runtime = false; static int __init setup_noefi(char *arg) { |