Lines Matching refs:A64SysReg_DBGWCR12_EL1
511 A64SysReg_DBGWCR12_EL1 = 0x8067, // 10 000 0000 1100 111
