Symbol: tx39_timecount
sys/arch/hpcmips/tx/tx39clock.c
274
sc->sc_tcounter.tc_get_timecount = tx39_timecount;
sys/arch/hpcmips/tx/tx39clock.c
96
uint32_t tx39_timecount(struct timecounter *);