match_config_table  533 drivers/firmware/efi/efi.c 		if (!match_config_table(&guid, table, common_tables))
match_config_table  534 drivers/firmware/efi/efi.c 			match_config_table(&guid, table, arch_tables);