Symbol: viasio_wdg_cb
sys/dev/isa/viasio.c
496
wdog_register(viasio_wdg_cb, sc);
sys/dev/isa/viasio.c
71
int viasio_wdg_cb(void *, int);