Searched refs:tbl32 (Results 1 – 1 of 1) sorted by relevance
663 const efi_config_table_32_t *tbl32 = (void *)config_tables; in efi_config_parse_tables() local684 guid = &tbl32[i].guid; in efi_config_parse_tables()685 table = tbl32[i].table; in efi_config_parse_tables()
