1 /* 2 * IDT Winchip specific Machine Check Exception Reporting 3 * (C) Copyright 2002 Alan Cox <alan@lxorguk.ukuu.org.uk> 4 */ 5 #include <linux/interrupt.h> 6 #include <linux/kernel.h> 7 #include <linux/types.h> 8 #include <linux/init.h> 9 10 #include <asm/processor.h> 11 #include <asm/mce.h> 12 #include <asm/msr.h> 13 14 /* Machine check handler for WinChip C6: */ winchip_machine_check(struct pt_regs * regs,long error_code)15static void winchip_machine_check(struct pt_regs *regs, long error_code) 16 { 17 printk(KERN_EMERG "CPU0: Machine Check Exception.\n"); 18 add_taint(TAINT_MACHINE_CHECK); 19 } 20 21 /* Set up machine check reporting on the Winchip C6 series */ winchip_mcheck_init(struct cpuinfo_x86 * c)22void winchip_mcheck_init(struct cpuinfo_x86 *c) 23 { 24 u32 lo, hi; 25 26 machine_check_vector = winchip_machine_check; 27 /* Make sure the vector pointer is visible before we enable MCEs: */ 28 wmb(); 29 30 rdmsr(MSR_IDT_FCR1, lo, hi); 31 lo |= (1<<2); /* Enable EIERRINT (int 18 MCE) */ 32 lo &= ~(1<<4); /* Enable MCE */ 33 wrmsr(MSR_IDT_FCR1, lo, hi); 34 35 set_in_cr4(X86_CR4_MCE); 36 37 printk(KERN_INFO 38 "Winchip machine check reporting enabled on CPU#0.\n"); 39 } 40