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/interrupt.h>
  10
  11 #include <asm/processor.h>
  12 #include <asm/system.h>
  13 #include <asm/msr.h>
  14
  15 #include "mce.h"
  16
  17 /* Machine check handler for WinChip C6 */
  18 static fastcall void winchip_machine_check(struct pt_regs * regs, long error_code)
  19 {
  20         printk(KERN_EMERG "CPU0: Machine Check Exception.\n");
  21         add_taint(TAINT_MACHINE_CHECK);
  22 }
  23
  24 /* Set up machine check reporting on the Winchip C6 series */
  25 void winchip_mcheck_init(struct cpuinfo_x86 *c)
  26 {
  27         u32 lo, hi;
  28         machine_check_vector = winchip_machine_check;
  29         wmb();
  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         set_in_cr4(X86_CR4_MCE);
  35         printk(KERN_INFO "Winchip machine check reporting enabled on CPU#0.\n");
  36 }