Lines Matching refs:TPIDR_EL3
3811 msr TPIDR_EL3, x124065 // CHECK: msr tpidr_el3, x12 // encoding: [0x4c,0xd0,0x1e,0xd5]4364 mrs x9, TPIDR_EL34664 // CHECK: mrs x9, tpidr_el3 // encoding: [0x49,0xd0,0x3e,0xd5]