void __init mce_intel_feature_init(struct cpuinfo_x86 *c) 
void __cpuinit mce_intel_feature_init(struct cpuinfo_x86 *c) 
void __init mce_intel_feature_init(struct cpuinfo_x86 *c){	intel_init_thermal(c);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/mce_intel.c/clean/arch/x86_64/kernel/mce_intel.c