IPMI_TIMEOUT_JIFFIES 4783 drivers/char/ipmi/ipmi_msghandler.c 		mod_timer(&ipmi_timer, jiffies + IPMI_TIMEOUT_JIFFIES);
IPMI_TIMEOUT_JIFFIES 4790 drivers/char/ipmi/ipmi_msghandler.c 		mod_timer(&ipmi_timer, jiffies + IPMI_TIMEOUT_JIFFIES);
IPMI_TIMEOUT_JIFFIES 5155 drivers/char/ipmi/ipmi_msghandler.c 	mod_timer(&ipmi_timer, jiffies + IPMI_TIMEOUT_JIFFIES);