Lines Matching refs:TCR_EL2
3742 msr TCR_EL2, x123996 // CHECK: msr tcr_el2, x12 // encoding: [0x4c,0x20,0x1c,0xd5]4289 mrs x9, TCR_EL24589 // CHECK: mrs x9, tcr_el2 // encoding: [0x49,0x20,0x3c,0xd5]
