Linux-2.6.12-rc2
[linux-2.6] / arch / i386 / kernel / cpu / mcheck / winchip.c
1 /*
2  * IDT Winchip specific Machine Check Exception Reporting
3  * (C) Copyright 2002 Alan Cox <alan@redhat.com>
4  */
5
6 #include <linux/init.h>
7 #include <linux/types.h>
8 #include <linux/kernel.h>
9 #include <linux/irq.h>
10 #include <linux/interrupt.h>
11
12 #include <asm/processor.h> 
13 #include <asm/system.h>
14 #include <asm/msr.h>
15
16 #include "mce.h"
17
18 /* Machine check handler for WinChip C6 */
19 static fastcall void winchip_machine_check(struct pt_regs * regs, long error_code)
20 {
21         printk(KERN_EMERG "CPU0: Machine Check Exception.\n");
22         add_taint(TAINT_MACHINE_CHECK);
23 }
24
25 /* Set up machine check reporting on the Winchip C6 series */
26 void __init winchip_mcheck_init(struct cpuinfo_x86 *c)
27 {
28         u32 lo, hi;
29         machine_check_vector = winchip_machine_check;
30         wmb();
31         rdmsr(MSR_IDT_FCR1, lo, hi);
32         lo|= (1<<2);    /* Enable EIERRINT (int 18 MCE) */
33         lo&= ~(1<<4);   /* Enable MCE */
34         wrmsr(MSR_IDT_FCR1, lo, hi);
35         set_in_cr4(X86_CR4_MCE);
36         printk(KERN_INFO "Winchip machine check reporting enabled on CPU#0.\n");
37 }