Lines Matching refs:A64SysReg_OSDTRRX_EL1
443 A64SysReg_OSDTRRX_EL1 = 0x8002, // 10 000 0000 0000 010
