Symbol: IPMI_SET_WDOG_MAX
sys/dev/ipmi.c
1010
c.c_txlen = IPMI_SET_WDOG_MAX;
sys/dev/ipmi.c
1834
c.c_txlen = IPMI_SET_WDOG_MAX;