pwdog_set_timeout   44 dev/pci/pwdog.c int pwdog_set_timeout(void *, int);
pwdog_set_timeout   83 dev/pci/pwdog.c 	wdog_register(pwdog, pwdog_set_timeout);