Lines Matching refs:VTTBR_EL2
3744 msr VTTBR_EL2, x123998 // CHECK: msr vttbr_el2, x12 // encoding: [0x0c,0x21,0x1c,0xd5]4291 mrs x9, VTTBR_EL24591 // CHECK: mrs x9, vttbr_el2 // encoding: [0x09,0x21,0x3c,0xd5]