Symbol: pvclock_tc_get_timecount
sys/x86/x86/pvclock.c
307
pvc->tc.tc_get_timecount = pvclock_tc_get_timecount;
sys/x86/x86/pvclock.c
64
static u_int pvclock_tc_get_timecount(struct timecounter *tc);