Symbol: ichwdt_cb
sys/dev/pci/ichwdt.c
142
wdog_register(ichwdt_cb, sc);
sys/dev/pci/ichwdt.c
58
int ichwdt_cb(void *, int);