static void __init mce_cpu_quirks(struct cpuinfo_x86 *c) 
static void __cpuinit mce_cpu_quirks(struct cpuinfo_x86 *c) 
static void __init mce_cpu_quirks(struct cpuinfo_x86 *c) { 	/* This should be disabled by the BIOS, but isn't always */	if (c->x86_vendor == X86_VENDOR_AMD && c->x86 == 15) {		/* disable GART TBL walk error reporting, which trips off 		   incorrectly with the IOMMU & 3ware & Cerberus. */		clear_bit(10, &bank[4]);	}}			
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/mce.c/buggy/arch/x86_64/kernel/mce.c