mce_intel_hcpu_update 2371 arch/x86/kernel/cpu/mce/core.c 	mce_intel_hcpu_update(cpu);
mce_intel_hcpu_update   46 arch/x86/kernel/cpu/mce/internal.h void mce_intel_hcpu_update(unsigned long cpu);