Symbol: IPMI_WDOG_DONTSTOP
sys/dev/ipmi.c
1826
wdog[IPMI_SET_WDOG_TIMER] &= ~IPMI_WDOG_DONTSTOP;
sys/dev/ipmi.c
1828
0 : IPMI_WDOG_DONTSTOP;