Lines Matching refs:A64SysReg_DBGWCR4_EL1
503 A64SysReg_DBGWCR4_EL1 = 0x8027, // 10 000 0000 0100 111
