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