restart_mce        71 arch/x86/kernel/cpu/mcheck/mce_32.c void __init restart_mce(void)
restart_mce       694 arch/x86/kernel/cpu/mcheck/mce_64.c void __init restart_mce(void)