Lines Matching refs:A64SysReg_DBGBCR13_EL1
480 A64SysReg_DBGBCR13_EL1 = 0x806d, // 10 000 0000 1101 101
