Lines Matching refs:A64SysReg_OSDTRTX_EL1
444 A64SysReg_OSDTRTX_EL1 = 0x801a, // 10 000 0000 0011 010