Lines Matching refs:DBGVCR32_EL2
3647 msr DBGVCR32_EL2, x123901 // CHECK: msr dbgvcr32_el2, x12 // encoding: [0x0c,0x07,0x14,0xd5]4157 mrs x9, DBGVCR32_EL24457 // CHECK: mrs x9, dbgvcr32_el2 // encoding: [0x09,0x07,0x34,0xd5]
