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];