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);