pvclock_tc_get_timecount
pvc->tc.tc_get_timecount = pvclock_tc_get_timecount;
static u_int pvclock_tc_get_timecount(struct timecounter *tc);