Lines Matching refs:A64SysReg_DBGWCR1_EL1
500 A64SysReg_DBGWCR1_EL1 = 0x800f, // 10 000 0000 0001 111
