Lines Matching refs:TTBR0_EL3
3777 msr TTBR0_EL3, x124031 // CHECK: msr {{ttbr0_el3|TTBR0_EL3}}, x12 // encoding: [0x0c,0x20,0x1e,0xd5]4324 mrs x9, TTBR0_EL34624 // CHECK: mrs x9, {{ttbr0_el3|TTBR0_EL3}} // encoding: [0x09,0x20,0x3e,0xd5]
