Symbol: pwdog_set_timeout
sys/dev/pci/pwdog.c
42
int pwdog_set_timeout(void *, int);
sys/dev/pci/pwdog.c
82
wdog_register(pwdog_set_timeout, pwdog);