Lines Matching refs:A64SysReg_DBGWVR12_EL1
495 A64SysReg_DBGWVR12_EL1 = 0x8066, // 10 000 0000 1100 110