mce_timer_kick    237 arch/x86/kernel/cpu/mce/intel.c 	mce_timer_kick(CMCI_STORM_INTERVAL);
mce_timer_kick     55 arch/x86/kernel/cpu/mce/internal.h void mce_timer_kick(unsigned long interval);