Lines Matching refs:A64SysReg_DBGWVR10_EL1
493 A64SysReg_DBGWVR10_EL1 = 0x8056, // 10 000 0000 1010 110