restart_mce 460 arch/x86/kernel/alternative.c restart_mce(); restart_mce 126 include/asm-x86/mce.h extern void restart_mce(void);