efi_config_table_t  293 arch/x86/kernel/efi.c 	efi_config_table_t *config_tables;
efi_config_table_t  348 arch/x86/kernel/efi.c 		efi.systab->nr_tables * sizeof(efi_config_table_t));
efi_config_table_t  381 arch/x86/kernel/efi.c 			  efi.systab->nr_tables * sizeof(efi_config_table_t));