Symbol: tcotimer_start
sys/arch/x86/pci/tco.c
297
tcotimer_start(sc);
sys/arch/x86/pci/tco.c
83
static void tcotimer_start(struct tco_softc *);