Lines Matching refs:A64SysReg_DBGBCR2_EL1
469 A64SysReg_DBGBCR2_EL1 = 0x8015, // 10 000 0000 0010 101
