MSR_CORE_PERF_FIXED_CTR0
int base = MSR_CORE_PERF_FIXED_CTR0;
nested_vmx_merge_msr_bitmaps_rw(MSR_CORE_PERF_FIXED_CTR0 + i);
pmc = get_fixed_pmc(pmu, MSR_CORE_PERF_FIXED_CTR0 + i);
.FIXED_COUNTER_BASE = MSR_CORE_PERF_FIXED_CTR0,
vmx_set_intercept_for_msr(vcpu, MSR_CORE_PERF_FIXED_CTR0 + i,
vmx_set_intercept_for_msr(vcpu, MSR_CORE_PERF_FIXED_CTR0 + i,
if ((msr_index >= MSR_CORE_PERF_FIXED_CTR0) &&
(msr_index < MSR_CORE_PERF_FIXED_CTR0 +
*index = msr_index - MSR_CORE_PERF_FIXED_CTR0;
msr = MSR_CORE_PERF_FIXED_CTR0 + (counter & 0xffff);
MSR_CORE_PERF_FIXED_CTR0 + i,
if (base_msr == MSR_CORE_PERF_FIXED_CTR0)
guest_rd_wr_counters(MSR_CORE_PERF_FIXED_CTR0, MAX_NR_FIXED_COUNTERS,
wrmsr(MSR_CORE_PERF_FIXED_CTR0 + i, 0);
val = rdmsr(MSR_CORE_PERF_FIXED_CTR0 + i);
wrmsr(MSR_CORE_PERF_FIXED_CTR0 + idx, 0);
GUEST_SYNC(rdmsr(MSR_CORE_PERF_FIXED_CTR0 + idx));