void __init early_intel_workaround(struct cpuinfo_x86 *c) 
void __devinit early_intel_workaround(struct cpuinfo_x86 *c) 
void __init early_intel_workaround(struct cpuinfo_x86 *c){	if (c->x86_vendor != X86_VENDOR_INTEL)		return;	/* Netburst reports 64 bytes clflush size, but does IO in 128 bytes */	if (c->x86 == 15 && c->x86_cache_alignment == 64)		c->x86_cache_alignment = 128;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/intel.c/buggy/arch/i386/kernel/cpu/intel.c