sys/kern/kern_tc.c

164 	ncount = tc->tc_get_timecount(tc);
188 	return ((tc->tc_get_timecount(tc) - th->th_offset_count) &
1194 	(void)tc->tc_get_timecount(tc);
1195 	(void)tc->tc_get_timecount(tc);
1273 		ncount = timecounter->tc_get_timecount(timecounter);
1422 		(void)newtc->tc_get_timecount(newtc);
1423 		(void)newtc->tc_get_timecount(newtc);
1651 	pps->capcount = th->th_counter->tc_get_timecount(th->th_counter);
1864 	(void)timecounter->tc_get_timecount(timecounter);
1865 	(void)timecounter->tc_get_timecount(timecounter);
1885 	u = tc->tc_get_timecount(tc) & tc->tc_counter_mask;