IPMI_WDOG_RESET_TIMER  490 drivers/char/ipmi/ipmi_watchdog.c 	msg.cmd = IPMI_WDOG_RESET_TIMER;
IPMI_WDOG_RESET_TIMER  564 drivers/char/ipmi/ipmi_watchdog.c 	msg.cmd = IPMI_WDOG_RESET_TIMER;
IPMI_WDOG_RESET_TIMER  911 drivers/char/ipmi/ipmi_watchdog.c 	if (msg->msg.cmd == IPMI_WDOG_RESET_TIMER &&