Lines Matching refs:A64SysReg_DBGBVR6_EL1
457 A64SysReg_DBGBVR6_EL1 = 0x8034, // 10 000 0000 0110 100