need_timer       4600 drivers/char/ipmi/ipmi_msghandler.c 			      bool *need_timer)
need_timer       4612 drivers/char/ipmi/ipmi_msghandler.c 		*need_timer = true;
need_timer       4632 drivers/char/ipmi/ipmi_msghandler.c 		*need_timer = true;
need_timer       4684 drivers/char/ipmi/ipmi_msghandler.c 	bool                 need_timer = false;
need_timer       4690 drivers/char/ipmi/ipmi_msghandler.c 			need_timer = true;
need_timer       4710 drivers/char/ipmi/ipmi_msghandler.c 				  &flags, &need_timer);
need_timer       4741 drivers/char/ipmi/ipmi_msghandler.c 	return need_timer;
need_timer       4761 drivers/char/ipmi/ipmi_msghandler.c 	bool need_timer = false;
need_timer       4775 drivers/char/ipmi/ipmi_msghandler.c 			need_timer = true;
need_timer       4778 drivers/char/ipmi/ipmi_msghandler.c 		need_timer |= ipmi_timeout_handler(intf, IPMI_TIMEOUT_TIME);
need_timer       4782 drivers/char/ipmi/ipmi_msghandler.c 	if (need_timer)