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