void __init mcheck_init(struct cpuinfo_x86 *c) 
void __devinit mcheck_init(struct cpuinfo_x86 *c) 
void __init mcheck_init(struct cpuinfo_x86 *c){	if (mce_disabled==1)		return;	switch (c->x86_vendor) {		case X86_VENDOR_AMD:			if (c->x86==6 || c->x86==15)				amd_mcheck_init(c);			break;		case X86_VENDOR_INTEL:			if (c->x86==5)				intel_p5_mcheck_init(c);			if (c->x86==6)				intel_p6_mcheck_init(c);			if (c->x86==15)				intel_p4_mcheck_init(c);			break;		case X86_VENDOR_CENTAUR:			if (c->x86==5)				winchip_mcheck_init(c);			break;		default:			break;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/mce.c/buggy/arch/i386/kernel/cpu/mcheck/mce.c