1 
2 #include <asm/system.h>
3 #include "util.h"
4 #include "mce.h"
5 
mce_panic_check(void)6 void mce_panic_check(void)
7 {
8     if ( is_mc_panic )
9     {
10         local_irq_enable();
11         for ( ; ; )
12             halt();
13     }
14 }
15