static void __cpuinit 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]);	}}			
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e583538f077d5f70191670b47a046ba436ec3428/mce.c/clean/arch/x86_64/kernel/mce.c