Lines Matching refs:A64SysReg_DBGWCR13_EL1
512 A64SysReg_DBGWCR13_EL1 = 0x806f, // 10 000 0000 1101 111
