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