X86_PROPERTY_PMU_EVENTS_MASK
unavailable_mask &= GENMASK(X86_PROPERTY_PMU_EVENTS_MASK.hi_bit,
X86_PROPERTY_PMU_EVENTS_MASK.lo_bit);
vcpu_set_cpuid_property(vcpu, X86_PROPERTY_PMU_EVENTS_MASK,
this_cpu_property(X86_PROPERTY_PMU_EVENTS_MASK));