Symbol: hv_gettime
sys/dev/pv/hyperv.c
138
.tc_get_timecount = hv_gettime,
sys/dev/pv/hyperv.c
75
u_int hv_gettime(struct timecounter *);