Searched defs:mdcr (Results 1 – 1 of 1) sorted by relevance
636 unsigned int mdcr = __vcpu_sys_reg(vcpu, MDCR_EL2); in kvm_pmu_counter_is_enabled() local668 u64 mdcr = __vcpu_sys_reg(vcpu, MDCR_EL2); in kvm_pmc_counts_at_el2() local