sys/dev/ipmi/ipmi.c

1019

ipmi_set_watchdog(sc, 0);

sys/dev/ipmi/ipmi.c

721

e = ipmi_set_watchdog(sc, timeout);

sys/dev/ipmi/ipmi.c

727

(void)ipmi_set_watchdog(sc, 0);

sys/dev/ipmi/ipmi.c

738

(void)ipmi_set_watchdog(sc, 0);

sys/dev/ipmi/ipmi.c

748

e = ipmi_set_watchdog(sc, 0);

sys/dev/ipmi/ipmi.c

781

ipmi_set_watchdog(sc, 0);

sys/dev/ipmi/ipmi.c

786

ipmi_set_watchdog(sc, wd_shutdown_countdown);

sys/dev/ipmi/ipmi.c

947

if (ipmi_set_watchdog(sc, wd_startup_countdown) == 0 &&

sys/dev/ipmi/ipmi.c

953

(void)ipmi_set_watchdog(sc, 0);

sys/dev/ipmi/ipmi.c

956

(void)ipmi_set_watchdog(sc, 0);