svm_pmu_owned_msr
} else if (svm_pmu_owned_msr(ecx)) {
} else if (svm_pmu_owned_msr(ecx)) {
ASSERT(svm_pmu_owned_msr(msr));
ASSERT(svm_pmu_owned_msr(msr));
bool svm_pmu_owned_msr(uint32_t);