HV_MSR_VP_INDEX_AVAILABLE
if (!(eax & HV_MSR_VP_INDEX_AVAILABLE)) {
HV_MSR_VP_INDEX_AVAILABLE;
ent->eax |= HV_MSR_VP_INDEX_AVAILABLE;
vcpu_set_cpuid_feature(vcpu, HV_MSR_VP_INDEX_AVAILABLE);