mce_start_timer  1830 arch/x86/kernel/cpu/mce/core.c 	mce_start_timer(t);
mce_start_timer  2392 arch/x86/kernel/cpu/mce/core.c 	mce_start_timer(t);