IPMI_WDOG_TIMER_NOT_INIT_RESP  583 drivers/char/ipmi/ipmi_watchdog.c 	if (recv_msg.msg.data[0] == IPMI_WDOG_TIMER_NOT_INIT_RESP)  {
IPMI_WDOG_TIMER_NOT_INIT_RESP  912 drivers/char/ipmi/ipmi_watchdog.c 			msg->msg.data[0] == IPMI_WDOG_TIMER_NOT_INIT_RESP)