Lines Matching refs:DBGBVR13_EL1
3661 msr DBGBVR13_EL1, x123915 // CHECK: msr dbgbvr13_el1, x12 // encoding: [0x8c,0x0d,0x10,0xd5]4171 mrs x9, DBGBVR13_EL14471 // CHECK: mrs x9, dbgbvr13_el1 // encoding: [0x89,0x0d,0x30,0xd5]