Symbol: berkwdt_activate
sys/dev/pci/berkwdt.c
47
int berkwdt_activate(struct device *, int);
sys/dev/pci/berkwdt.c
58
NULL, berkwdt_activate