Symbol: wdt_set_timeout
sys/dev/pci/wdt.c
159
wdog_register(wdt_set_timeout, wdt);
sys/dev/pci/wdt.c
59
int wdt_set_timeout(void *, int);