mce_timer_fn 1822 arch/x86/kernel/cpu/mce/core.c timer_setup(t, mce_timer_fn, TIMER_PINNED); mce_timer_fn 1829 arch/x86/kernel/cpu/mce/core.c timer_setup(t, mce_timer_fn, TIMER_PINNED);