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);