ichwdt_cb          57 dev/pci/ichwdt.c int	ichwdt_cb(void *, int);
ichwdt_cb         139 dev/pci/ichwdt.c 	wdog_register(sc, ichwdt_cb);