Lines Matching refs:A64SysReg_DBGBVR7_EL1
458 A64SysReg_DBGBVR7_EL1 = 0x803c, // 10 000 0000 0111 100