Lines Matching refs:A64SysReg_DBGBCR12_EL1
479 A64SysReg_DBGBCR12_EL1 = 0x8065, // 10 000 0000 1100 101
