Lines Matching refs:A64SysReg_DBGBVR1_EL1
452 A64SysReg_DBGBVR1_EL1 = 0x800c, // 10 000 0000 0001 100
