Searched refs:ttbr_elx (Results 1 – 1 of 1) sorted by relevance
859 enum vcpu_sysreg ttbr_elx; in get_asid_by_regime() local866 ttbr_elx = (tcr & TCR_A1) ? TTBR1_EL1 : TTBR0_EL1; in get_asid_by_regime()870 ttbr_elx = (tcr & TCR_A1) ? TTBR1_EL2 : TTBR0_EL2; in get_asid_by_regime()876 asid = FIELD_GET(TTBRx_EL1_ASID, vcpu_read_sys_reg(vcpu, ttbr_elx)); in get_asid_by_regime()