static void __init Intel_errata_workarounds(struct cpuinfo_x86 *c) 
static void __devinit Intel_errata_workarounds(struct cpuinfo_x86 *c) 
static void __init Intel_errata_workarounds(struct cpuinfo_x86 *c){	unsigned long lo, hi;	if ((c->x86 == 15) && (c->x86_model == 1) && (c->x86_mask == 1)) {		rdmsr (MSR_IA32_MISC_ENABLE, lo, hi);		if ((lo & (1<<9)) == 0) {			printk (KERN_INFO "CPU: C0 stepping P4 Xeon detected.\n");			printk (KERN_INFO "CPU: Disabling hardware prefetching (Errata 037)\n");			lo |= (1<<9);	/* Disable hw prefetching */			wrmsr (MSR_IA32_MISC_ENABLE, lo, hi);		}	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/intel.c/clean/arch/i386/kernel/cpu/intel.c