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