Symbol: tcotimer_tick_to_second
sys/arch/x86/pci/tco.c
202
sc->sc_smw.smw_period = tcotimer_tick_to_second(sc->sc_max_t);
sys/arch/x86/pci/tco.c
205
tcotimer_tick_to_second(sc->sc_min_t),
sys/arch/x86/pci/tco.c
206
tcotimer_tick_to_second(sc->sc_max_t));