Lines Matching refs:OSDTRRX_EL1
3640 msr OSDTRRX_EL1, x123894 // CHECK: msr osdtrrx_el1, x12 // encoding: [0x4c,0x00,0x10,0xd5]4149 mrs x9, OSDTRRX_EL14449 // CHECK: mrs x9, osdtrrx_el1
