Searched refs:TCR_EL2 (Results 1 – 3 of 3) sorted by relevance
391 {"tcr_el2", TCR_EL2, {}},
778 TCR_EL2 = 0xe102, // 11 100 0010 0000 010 enumerator
430 if TCR_EL2.TBI == '1' then in BranchTo()