Lines Matching refs:A64SysReg_DBGBVR13_EL1
464 A64SysReg_DBGBVR13_EL1 = 0x806c, // 10 000 0000 1101 100
