Symbol: tcpcib_wdt_cb
sys/dev/pci/tcpcib.c
102
int tcpcib_wdt_cb(void *, int);
sys/dev/pci/tcpcib.c
260
wdog_register(tcpcib_wdt_cb, sc);