Lines Matching refs:mdcr_el2
24 static DEFINE_PER_CPU(u32, mdcr_el2);
60 * value of mdcr_el2 so we can preserve MDCR_EL2.HPMN which has
68 __this_cpu_write(mdcr_el2, kvm_call_hyp_ret(__kvm_get_mdcr_el2));
72 * kvm_arm_setup_mdcr_el2 - configure vcpu mdcr_el2 value
89 vcpu->arch.mdcr_el2 = __this_cpu_read(mdcr_el2) & MDCR_EL2_HPMN_MASK;
90 vcpu->arch.mdcr_el2 |= (MDCR_EL2_TPM |
100 vcpu->arch.mdcr_el2 |= MDCR_EL2_TDE;
110 vcpu->arch.mdcr_el2 |= MDCR_EL2_TDA;
112 trace_kvm_arm_set_dreg32("MDCR_EL2", vcpu->arch.mdcr_el2);
120 * Set vcpu initial mdcr_el2 value.
156 unsigned long mdscr, orig_mdcr_el2 = vcpu->arch.mdcr_el2;
235 /* Write mdcr_el2 changes since vcpu_load on VHE systems */
236 if (has_vhe() && orig_mdcr_el2 != vcpu->arch.mdcr_el2)
237 write_sysreg(vcpu->arch.mdcr_el2, mdcr_el2);