Symbol: should_enable_timer
arch/x86/kernel/cpu/mce/core.c
1814
} else if (should_enable_timer(iv)) {
arch/x86/kernel/cpu/mce/core.c
2103
if (should_enable_timer(iv)) {