Searched refs:ext_tablep (Results 1 – 1 of 1) sorted by relevance
89 int *ext_tablep = (int *)ext_header; in microcode_sanity_check() local93 ext_table_sum += ext_tablep[i]; in microcode_sanity_check()