Symbol: mce_timer_fn
arch/x86/kernel/cpu/mce/core.c
2087
timer_setup(t, mce_timer_fn, TIMER_PINNED);
arch/x86/kernel/cpu/mce/core.c
2094
timer_setup(t, mce_timer_fn, TIMER_PINNED);