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