HV_MSR_SYNIC_AVAILABLE
HV_MSR_SYNIC_AVAILABLE;
ent->eax |= HV_MSR_SYNIC_AVAILABLE;
vcpu_set_cpuid_feature(vcpu, HV_MSR_SYNIC_AVAILABLE);