Searched refs:tbl_entry (Results 1 – 1 of 1) sorted by relevance
175 efi_config_table_64_t *tbl_entry = (efi_config_table_64_t *)cfg_tbl + idx; in get_vendor_table() local177 if (!IS_ENABLED(CONFIG_X86_64) && tbl_entry->table >> 32) { in get_vendor_table()182 *vendor_tbl_pa = tbl_entry->table; in get_vendor_table()183 *vendor_tbl_guid = tbl_entry->guid; in get_vendor_table()186 efi_config_table_32_t *tbl_entry = (efi_config_table_32_t *)cfg_tbl + idx; in get_vendor_table() local188 *vendor_tbl_pa = tbl_entry->table; in get_vendor_table()189 *vendor_tbl_guid = tbl_entry->guid; in get_vendor_table()
Completed in 4 milliseconds