MSR_IA32_PERFCTR0
nested_vmx_merge_msr_bitmaps_rw(MSR_IA32_PERFCTR0 + i);
ret = get_gp_pmc(pmu, msr, MSR_IA32_PERFCTR0) ||
pmc = pmc ? pmc : get_gp_pmc(pmu, msr, MSR_IA32_PERFCTR0);
if ((pmc = get_gp_pmc(pmu, msr, MSR_IA32_PERFCTR0)) ||
#define MSR_PMC_FULL_WIDTH_BIT (MSR_IA32_PMC0 - MSR_IA32_PERFCTR0)
if ((pmc = get_gp_pmc(pmu, msr, MSR_IA32_PERFCTR0)) ||
vmx_set_intercept_for_msr(vcpu, MSR_IA32_PERFCTR0 + i,
vmx_set_intercept_for_msr(vcpu, MSR_IA32_PERFCTR0 + i,
if ((msr_index_pmc >= MSR_IA32_PERFCTR0) &&
(msr_index_pmc < MSR_IA32_PERFCTR0 +
*index = msr_index_pmc - MSR_IA32_PERFCTR0;
msr = MSR_IA32_PERFCTR0 + counter;
#define MSR_PMC_ALIAS_MASK (~(MSR_IA32_PERFCTR0 ^ MSR_IA32_PMC0))
base_pmc_msr = MSR_IA32_PERFCTR0;
base_msr = MSR_IA32_PERFCTR0;