Lines Matching refs:A64SysReg_DBGBCR5_EL1
472 A64SysReg_DBGBCR5_EL1 = 0x802d, // 10 000 0000 0101 101
