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);