arch_tables        52 arch/ia64/kernel/efi.c static __initdata efi_config_table_type_t arch_tables[] = {
arch_tables       540 arch/ia64/kernel/efi.c 	if (efi_config_init(arch_tables) != 0)
arch_tables        60 arch/x86/platform/efi/efi.c static efi_config_table_type_t arch_tables[] __initdata = {
arch_tables       551 arch/x86/platform/efi/efi.c 	if (efi_config_init(arch_tables))
arch_tables        56 drivers/firmware/efi/arm-init.c static __initdata efi_config_table_type_t arch_tables[] = {
arch_tables       142 drivers/firmware/efi/arm-init.c 					 arch_tables);
arch_tables       505 drivers/firmware/efi/efi.c 				   efi_config_table_type_t *arch_tables)
arch_tables       534 drivers/firmware/efi/efi.c 			match_config_table(&guid, table, arch_tables);
arch_tables       625 drivers/firmware/efi/efi.c int __init efi_config_init(efi_config_table_type_t *arch_tables)
arch_tables       649 drivers/firmware/efi/efi.c 				      arch_tables);
arch_tables      1069 include/linux/efi.h extern int efi_config_init(efi_config_table_type_t *arch_tables);
arch_tables      1076 include/linux/efi.h 				   efi_config_table_type_t *arch_tables);