wdt_set_timeout    63 dev/pci/wdt.c  int	wdt_set_timeout(void *, int);
wdt_set_timeout   162 dev/pci/wdt.c  	wdog_register(wdt, wdt_set_timeout);