Symbol: ipmi_watchdog_set
sys/dev/ipmi.c
140
void ipmi_watchdog_set(void *);
sys/dev/ipmi.c
1780
ipmi_watchdog_set(sc);