ext_tablep        250 arch/x86/kernel/cpu/microcode/intel.c 		u32 *ext_tablep;
ext_tablep        272 arch/x86/kernel/cpu/microcode/intel.c 		ext_tablep = (u32 *)ext_header;
ext_tablep        276 arch/x86/kernel/cpu/microcode/intel.c 			ext_table_sum += ext_tablep[i];