tb_get_timecount
u_int tb_get_timecount(struct timecounter *);
.tc_get_timecount = tb_get_timecount,
u_int tb_get_timecount(struct timecounter *);
.tc_get_timecount = tb_get_timecount,
u_int tb_get_timecount(struct timecounter *);
.tc_get_timecount = tb_get_timecount,