viasio_wdg_cb      70 dev/isa/viasio.c int	viasio_wdg_cb(void *, int);
viasio_wdg_cb     481 dev/isa/viasio.c 	wdog_register(sc, viasio_wdg_cb);