Lines Matching refs:VTCR_EL2
3783 msr VTCR_EL2, x124037 // CHECK: msr {{vtcr_el2|VTCR_EL2}}, x12 // encoding: [0x4c,0x21,0x1c,0xd5]4330 mrs x9, VTCR_EL24630 // CHECK: mrs x9, {{vtcr_el2|VTCR_EL2}} // encoding: [0x49,0x21,0x3c,0xd5]