Lines Matching refs:A64SysReg_DBGBCR4_EL1
471 A64SysReg_DBGBCR4_EL1 = 0x8025, // 10 000 0000 0100 101
