Lines Matching refs:A64SysReg_DBGWVR3_EL1
486 A64SysReg_DBGWVR3_EL1 = 0x801e, // 10 000 0000 0011 110