ipmi_timer 4754 drivers/char/ipmi/ipmi_msghandler.c static struct timer_list ipmi_timer; ipmi_timer 4783 drivers/char/ipmi/ipmi_msghandler.c mod_timer(&ipmi_timer, jiffies + IPMI_TIMEOUT_JIFFIES); ipmi_timer 4789 drivers/char/ipmi/ipmi_msghandler.c if (!timer_pending(&ipmi_timer)) ipmi_timer 4790 drivers/char/ipmi/ipmi_msghandler.c mod_timer(&ipmi_timer, jiffies + IPMI_TIMEOUT_JIFFIES); ipmi_timer 5154 drivers/char/ipmi/ipmi_msghandler.c timer_setup(&ipmi_timer, ipmi_timeout, 0); ipmi_timer 5155 drivers/char/ipmi/ipmi_msghandler.c mod_timer(&ipmi_timer, jiffies + IPMI_TIMEOUT_JIFFIES); ipmi_timer 5198 drivers/char/ipmi/ipmi_msghandler.c del_timer_sync(&ipmi_timer);