Symbol: berkwdt_reload
sys/dev/pci/berkwdt.c
246
berkwdt_reload(sc);
sys/dev/pci/berkwdt.c
249
berkwdt_reload(sc);
sys/dev/pci/berkwdt.c
51
void berkwdt_reload(struct berkwdt_softc *sc);