Lines Matching refs:A64SysReg_DBGBCR9_EL1
476 A64SysReg_DBGBCR9_EL1 = 0x804d, // 10 000 0000 1001 101