Symbol: ipmi_watchdog_tickle
sys/dev/ipmi.c
139
void ipmi_watchdog_tickle(void *);
sys/dev/ipmi.c
1591
task_set(&sc->sc_wdog_tickle_task, ipmi_watchdog_tickle, sc);