timecounter_get_t
.tc_get_timecount = (timecounter_get_t *)mips3_cp0_count_read,
.tc_get_timecount = (timecounter_get_t *)mips3_cp0_count_read,
.tc_get_timecount = (timecounter_get_t *)mips3_cp0_count_read,
.tc_get_timecount = (timecounter_get_t *)mips3_cp0_count_read,
cc_init(timecounter_get_t getcc, uint64_t freq, const char *name, int quality)
struct timecounter *cc_init(timecounter_get_t, uint64_t, const char *, int);
timecounter_get_t *tc_get_timecount;