table_types       485 drivers/firmware/efi/efi.c 				     efi_config_table_type_t *table_types)
table_types       489 drivers/firmware/efi/efi.c 	if (table_types) {
table_types       490 drivers/firmware/efi/efi.c 		for (i = 0; efi_guidcmp(table_types[i].guid, NULL_GUID); i++) {
table_types       491 drivers/firmware/efi/efi.c 			if (!efi_guidcmp(*guid, table_types[i].guid)) {
table_types       492 drivers/firmware/efi/efi.c 				*(table_types[i].ptr) = table;
table_types       493 drivers/firmware/efi/efi.c 				if (table_types[i].name)
table_types       495 drivers/firmware/efi/efi.c 						table_types[i].name, table);