glxpcib_get_timecount
u_int glxpcib_get_timecount(struct timecounter *tc);
tc->tc_get_timecount = glxpcib_get_timecount;