Lines Matching refs:DBGWVR3_EL1
3683 msr DBGWVR3_EL1, x123937 // CHECK: msr dbgwvr3_el1, x12 // encoding: [0xcc,0x03,0x10,0xd5]4193 mrs x9, DBGWVR3_EL14493 // CHECK: mrs x9, dbgwvr3_el1 // encoding: [0xc9,0x03,0x30,0xd5]