efi_config_table_t   53 arch/ia64/kernel/esi.c 	efi_config_table_t *config_tables;
efi_config_table_t  141 drivers/firmware/efi/arm-init.c 					 sizeof(efi_config_table_t),