Searched refs:cfg_tbl (Results 1 – 1 of 1) sorted by relevance
167 static int get_vendor_table(void *cfg_tbl, unsigned int idx, in get_vendor_table() argument173 efi_config_table_64_t *tbl_entry = (efi_config_table_64_t *)cfg_tbl + idx; in get_vendor_table()184 efi_config_table_32_t *tbl_entry = (efi_config_table_32_t *)cfg_tbl + idx; in get_vendor_table()