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);