Lines Matching refs:A64SysReg_DBGDTRRX_EL0
317 A64SysReg_DBGDTRRX_EL0 = 0x9828, // 10 011 0000 0101 000
