Symbol: berkwdt_set_timeout
sys/dev/pci/berkwdt.c
213
wdog_register(berkwdt_set_timeout, sc);
sys/dev/pci/berkwdt.c
54
int berkwdt_set_timeout(void *, int);