hyperv_tsc_cputimer_count_lfence
hyperv_tsc_cputimer.count = hyperv_tsc_cputimer_count_lfence;
static sysclock_t hyperv_tsc_cputimer_count_lfence(void);