Lines Matching refs:A64SysReg_DBGWCR15_EL1
514 A64SysReg_DBGWCR15_EL1 = 0x807f, // 10 000 0000 1111 111