mce_restart 2153 arch/x86/kernel/cpu/mce/core.c mce_restart(); mce_restart 2222 arch/x86/kernel/cpu/mce/core.c mce_restart();