Lines Matching refs:TCR_EL1
3779 msr TCR_EL1, x124033 // CHECK: msr {{tcr_el1|TCR_EL1}}, x12 // encoding: [0x4c,0x20,0x18,0xd5]4326 mrs x9, TCR_EL14626 // CHECK: mrs x9, {{tcr_el1|TCR_EL1}} // encoding: [0x49,0x20,0x38,0xd5]