Symbol: ipmi_watchdog
sys/dev/ipmi.c
138
int ipmi_watchdog(void *, int);
sys/dev/ipmi.c
1592
wdog_register(ipmi_watchdog, sc);