MSR_IA32_PMC0
x86_pmu.perfctr = MSR_IA32_PMC0;
nested_vmx_merge_msr_bitmaps_rw(MSR_IA32_PMC0 + i);
return get_gp_pmc(pmu, msr, MSR_IA32_PMC0);
(pmc = get_gp_pmc(pmu, msr, MSR_IA32_PMC0))) {
#define MSR_PMC_FULL_WIDTH_BIT (MSR_IA32_PMC0 - MSR_IA32_PERFCTR0)
(pmc = get_gp_pmc(pmu, msr, MSR_IA32_PMC0))) {
.GP_COUNTER_BASE = MSR_IA32_PMC0,
vmx_set_intercept_for_msr(vcpu, MSR_IA32_PMC0 + i, MSR_TYPE_RW,
vmx_set_intercept_for_msr(vcpu, MSR_IA32_PMC0 + i,
#define MSR_PMC_ALIAS_MASK (~(MSR_IA32_PERFCTR0 ^ MSR_IA32_PMC0))
base_pmc_msr = MSR_IA32_PMC0;
base_msr = MSR_IA32_PMC0;
check_msr(MSR_IA32_PMC0, 0xffff);
run_and_measure_loop(MSR_IA32_PMC0);
masked_events_guest_test(MSR_IA32_PMC0);