void __init mcheck_init(struct cpuinfo_x86 *c) 
void __cpuinit mcheck_init(struct cpuinfo_x86 *c) 
void __init mcheck_init(struct cpuinfo_x86 *c){	static cpumask_t mce_cpus __initdata = CPU_MASK_NONE;	mce_cpu_quirks(c); 	if (mce_dont_init ||	    cpu_test_and_set(smp_processor_id(), mce_cpus) ||	    !mce_available(c))		return;	mce_init(NULL);	mce_cpu_features(c);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/mce.c/buggy/arch/x86_64/kernel/mce.c