stop_mce 418 arch/x86/kernel/alternative.c stop_mce(); stop_mce 125 include/asm-x86/mce.h extern void stop_mce(void);