Lines Matching refs:VMPIDR_EL2
3720 msr VMPIDR_EL2, x123974 // CHECK: msr vmpidr_el2, x12 // encoding: [0xac,0x00,0x1c,0xd5]4237 mrs x9, VMPIDR_EL24537 // CHECK: mrs x9, vmpidr_el2 // encoding: [0xa9,0x00,0x3c,0xd5]