efi_config_table_type_t   52 arch/ia64/kernel/efi.c static __initdata efi_config_table_type_t arch_tables[] = {
efi_config_table_type_t   60 arch/x86/platform/efi/efi.c static efi_config_table_type_t arch_tables[] __initdata = {
efi_config_table_type_t   56 drivers/firmware/efi/arm-init.c static __initdata efi_config_table_type_t arch_tables[] = {
efi_config_table_type_t  462 drivers/firmware/efi/efi.c static __initdata efi_config_table_type_t common_tables[] = {
efi_config_table_type_t  485 drivers/firmware/efi/efi.c 				     efi_config_table_type_t *table_types)
efi_config_table_type_t  505 drivers/firmware/efi/efi.c 				   efi_config_table_type_t *arch_tables)
efi_config_table_type_t  625 drivers/firmware/efi/efi.c int __init efi_config_init(efi_config_table_type_t *arch_tables)
efi_config_table_type_t 1069 include/linux/efi.h extern int efi_config_init(efi_config_table_type_t *arch_tables);
efi_config_table_type_t 1076 include/linux/efi.h 				   efi_config_table_type_t *arch_tables);