Lines Matching refs:A64SysReg_DBGBCR10_EL1
477 A64SysReg_DBGBCR10_EL1 = 0x8055, // 10 000 0000 1010 101
