Searched refs:TCR_EL1 (Results 1 – 3 of 3) sorted by relevance
529 TCR_EL1 = 0xc102, // 11 000 0010 0000 010 enumerator
378 {"tcr_el1", TCR_EL1},
3741 msr TCR_EL1, x124288 mrs x9, TCR_EL1