HV_MSR_SYNTIMER_AVAILABLE
HV_MSR_SYNTIMER_AVAILABLE;
ent->eax |= HV_MSR_SYNTIMER_AVAILABLE;
if (!(ms_hyperv.features & HV_MSR_SYNTIMER_AVAILABLE))
vcpu_set_cpuid_feature(vcpu, HV_MSR_SYNTIMER_AVAILABLE);