Symbol: tcotimer_status_reset
sys/arch/x86/pci/tco.c
174
tcotimer_status_reset(sc);
sys/arch/x86/pci/tco.c
84
static void tcotimer_status_reset(struct tco_softc *);