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