IPMI_WATCH_MASK_CHECK_WATCHDOG  964 drivers/char/ipmi/ipmi_msghandler.c 	if (flags & IPMI_WATCH_MASK_CHECK_WATCHDOG)
IPMI_WATCH_MASK_CHECK_WATCHDOG  989 drivers/char/ipmi/ipmi_msghandler.c 	if (flags & IPMI_WATCH_MASK_CHECK_WATCHDOG)
IPMI_WATCH_MASK_CHECK_WATCHDOG  999 drivers/char/ipmi/ipmi_msghandler.c 		flags |= IPMI_WATCH_MASK_CHECK_WATCHDOG;
IPMI_WATCH_MASK_CHECK_WATCHDOG 1245 drivers/char/ipmi/ipmi_msghandler.c 		smi_add_watch(intf, IPMI_WATCH_MASK_CHECK_WATCHDOG);
IPMI_WATCH_MASK_CHECK_WATCHDOG 1317 drivers/char/ipmi/ipmi_msghandler.c 		smi_remove_watch(intf, IPMI_WATCH_MASK_CHECK_WATCHDOG);