Lines Matching refs:TTBR1_EL1
3740 msr TTBR1_EL1, x123994 // CHECK: msr ttbr1_el1, x12 // encoding: [0x2c,0x20,0x18,0xd5]4287 mrs x9, TTBR1_EL14587 // CHECK: mrs x9, ttbr1_el1 // encoding: [0x29,0x20,0x38,0xd5]
