Lines Matching refs:A64SysReg_DBGWVR4_EL1
487 A64SysReg_DBGWVR4_EL1 = 0x8026, // 10 000 0000 0100 110
