efi_config_init 540 arch/ia64/kernel/efi.c if (efi_config_init(arch_tables) != 0) efi_config_init 551 arch/x86/platform/efi/efi.c if (efi_config_init(arch_tables)) efi_config_init 1069 include/linux/efi.h extern int efi_config_init(efi_config_table_type_t *arch_tables);