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