void __init winchip_mcheck_init(struct cpuinfo_x86 *c) 
void __devinit winchip_mcheck_init(struct cpuinfo_x86 *c) 
void __init winchip_mcheck_init(struct cpuinfo_x86 *c){	u32 lo, hi;	machine_check_vector = winchip_machine_check;	wmb();	rdmsr(MSR_IDT_FCR1, lo, hi);	lo|= (1<<2);	/* Enable EIERRINT (int 18 MCE) */	lo&= ~(1<<4);	/* Enable MCE */	wrmsr(MSR_IDT_FCR1, lo, hi);	set_in_cr4(X86_CR4_MCE);	printk(KERN_INFO "Winchip machine check reporting enabled on CPU#0.\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5a72e04df5470df0ec646029d31e5528167ab1a7/winchip.c/clean/arch/i386/kernel/cpu/mcheck/winchip.c