agtimer_get_timecount_default
*tc = agtimer_get_timecount_default(NULL);
u_int agtimer_get_timecount_default(struct timecounter *);
.tc_get_timecount = agtimer_get_timecount_default,