static void __init mce_cpu_features(struct cpuinfo_x86 *c) 
static void __cpuinit mce_cpu_features(struct cpuinfo_x86 *c) 
static void __init mce_cpu_features(struct cpuinfo_x86 *c){	switch (c->x86_vendor) {	case X86_VENDOR_INTEL:		mce_intel_feature_init(c);		break;	default:		break;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/mce.c/buggy/arch/x86_64/kernel/mce.c