Lines Matching refs:DBGWVR10_EL1
3690 msr DBGWVR10_EL1, x123944 // CHECK: msr dbgwvr10_el1, x12 // encoding: [0xcc,0x0a,0x10,0xd5]4200 mrs x9, DBGWVR10_EL14500 // CHECK: mrs x9, dbgwvr10_el1 // encoding: [0xc9,0x0a,0x30,0xd5]