hyperv_tsc_timecount
static u_int hyperv_tsc_timecount(struct timecounter *);
.tc_get_timecount = hyperv_tsc_timecount,