Lines Matching refs:arch
39 vcpu->arch.mdcr_el2 = FIELD_PREP(MDCR_EL2_HPMN,
41 vcpu->arch.mdcr_el2 |= (MDCR_EL2_TPM |
51 vcpu->arch.mdcr_el2 |= MDCR_EL2_TDE;
57 vcpu->arch.mdcr_el2 |= MDCR_EL2_TDA;
61 write_sysreg(vcpu->arch.mdcr_el2, mdcr_el2);
127 vcpu->arch.external_mdscr_el1 = mdscr;
151 vcpu->arch.debug_owner = VCPU_DEBUG_HOST_OWNED;
173 vcpu->arch.debug_owner = VCPU_DEBUG_GUEST_OWNED;
175 vcpu->arch.debug_owner = VCPU_DEBUG_FREE;
212 vcpu->arch.debug_owner = VCPU_DEBUG_GUEST_OWNED;