Symbol: IPMI_SET_WD_TIMER_SMS_OS
sys/dev/misc/ipmi/ipmi.c
651
| IPMI_SET_WD_TIMER_SMS_OS;
sys/dev/misc/ipmi/ipmi.c
658
req->ir_request[0] = IPMI_SET_WD_TIMER_SMS_OS;