| # CS_ARCH_AARCH64, 0, None |
| 0x00,0x20,0x78,0xd5 = mrrs x0, x1, TTBR0_EL1 |
| 0x20,0x20,0x78,0xd5 = mrrs x0, x1, TTBR1_EL1 |
| 0x00,0x74,0x78,0xd5 = mrrs x0, x1, PAR_EL1 |
| 0x60,0xd0,0x78,0xd5 = mrrs x0, x1, RCWSMASK_EL1 |
| 0xc0,0xd0,0x78,0xd5 = mrrs x0, x1, RCWMASK_EL1 |
| 0x00,0x20,0x7c,0xd5 = mrrs x0, x1, TTBR0_EL2 |
| 0x20,0x20,0x7c,0xd5 = mrrs x0, x1, TTBR1_EL2 |
| 0x00,0x21,0x7c,0xd5 = mrrs x0, x1, VTTBR_EL2 |
| 0x00,0x21,0x7c,0xd5 = mrrs x0, x1, VTTBR_EL2 |
| 0x02,0x21,0x7c,0xd5 = mrrs x2, x3, VTTBR_EL2 |
| 0x04,0x21,0x7c,0xd5 = mrrs x4, x5, VTTBR_EL2 |
| 0x06,0x21,0x7c,0xd5 = mrrs x6, x7, VTTBR_EL2 |
| 0x08,0x21,0x7c,0xd5 = mrrs x8, x9, VTTBR_EL2 |
| 0x0a,0x21,0x7c,0xd5 = mrrs x10, x11, VTTBR_EL2 |
| 0x0c,0x21,0x7c,0xd5 = mrrs x12, x13, VTTBR_EL2 |
| 0x0e,0x21,0x7c,0xd5 = mrrs x14, x15, VTTBR_EL2 |
| 0x10,0x21,0x7c,0xd5 = mrrs x16, x17, VTTBR_EL2 |
| 0x12,0x21,0x7c,0xd5 = mrrs x18, x19, VTTBR_EL2 |
| 0x14,0x21,0x7c,0xd5 = mrrs x20, x21, VTTBR_EL2 |
| 0x16,0x21,0x7c,0xd5 = mrrs x22, x23, VTTBR_EL2 |
| 0x18,0x21,0x7c,0xd5 = mrrs x24, x25, VTTBR_EL2 |
| 0x1a,0x21,0x7c,0xd5 = mrrs x26, x27, VTTBR_EL2 |
| 0x00,0x20,0x78,0xd5 = mrrs x0, x1, TTBR0_EL1 |
| 0x20,0x20,0x78,0xd5 = mrrs x0, x1, TTBR1_EL1 |
| 0x00,0x74,0x78,0xd5 = mrrs x0, x1, PAR_EL1 |
| 0x60,0xd0,0x78,0xd5 = mrrs x0, x1, RCWSMASK_EL1 |
| 0xc0,0xd0,0x78,0xd5 = mrrs x0, x1, RCWMASK_EL1 |
| 0x00,0x20,0x7c,0xd5 = mrrs x0, x1, TTBR0_EL2 |
| 0x20,0x20,0x7c,0xd5 = mrrs x0, x1, TTBR1_EL2 |
| 0x00,0x21,0x7c,0xd5 = mrrs x0, x1, VTTBR_EL2 |
| 0x00,0x21,0x7c,0xd5 = mrrs x0, x1, VTTBR_EL2 |
| 0x02,0x21,0x7c,0xd5 = mrrs x2, x3, VTTBR_EL2 |
| 0x04,0x21,0x7c,0xd5 = mrrs x4, x5, VTTBR_EL2 |
| 0x06,0x21,0x7c,0xd5 = mrrs x6, x7, VTTBR_EL2 |
| 0x08,0x21,0x7c,0xd5 = mrrs x8, x9, VTTBR_EL2 |
| 0x0a,0x21,0x7c,0xd5 = mrrs x10, x11, VTTBR_EL2 |
| 0x0c,0x21,0x7c,0xd5 = mrrs x12, x13, VTTBR_EL2 |
| 0x0e,0x21,0x7c,0xd5 = mrrs x14, x15, VTTBR_EL2 |
| 0x10,0x21,0x7c,0xd5 = mrrs x16, x17, VTTBR_EL2 |
| 0x12,0x21,0x7c,0xd5 = mrrs x18, x19, VTTBR_EL2 |
| 0x14,0x21,0x7c,0xd5 = mrrs x20, x21, VTTBR_EL2 |
| 0x16,0x21,0x7c,0xd5 = mrrs x22, x23, VTTBR_EL2 |
| 0x18,0x21,0x7c,0xd5 = mrrs x24, x25, VTTBR_EL2 |
| 0x1a,0x21,0x7c,0xd5 = mrrs x26, x27, VTTBR_EL2 |
| 0x00,0x20,0x58,0xd5 = msrr TTBR0_EL1, x0, x1 |
| 0x20,0x20,0x58,0xd5 = msrr TTBR1_EL1, x0, x1 |
| 0x00,0x74,0x58,0xd5 = msrr PAR_EL1, x0, x1 |
| 0x60,0xd0,0x58,0xd5 = msrr RCWSMASK_EL1, x0, x1 |
| 0xc0,0xd0,0x58,0xd5 = msrr RCWMASK_EL1, x0, x1 |
| 0x00,0x20,0x5c,0xd5 = msrr TTBR0_EL2, x0, x1 |
| 0x20,0x20,0x5c,0xd5 = msrr TTBR1_EL2, x0, x1 |
| 0x00,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x0, x1 |
| 0x00,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x0, x1 |
| 0x02,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x2, x3 |
| 0x04,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x4, x5 |
| 0x06,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x6, x7 |
| 0x08,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x8, x9 |
| 0x0a,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x10, x11 |
| 0x0c,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x12, x13 |
| 0x0e,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x14, x15 |
| 0x10,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x16, x17 |
| 0x12,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x18, x19 |
| 0x14,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x20, x21 |
| 0x16,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x22, x23 |
| 0x18,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x24, x25 |
| 0x1a,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x26, x27 |
| 0x00,0x20,0x58,0xd5 = msrr TTBR0_EL1, x0, x1 |
| 0x20,0x20,0x58,0xd5 = msrr TTBR1_EL1, x0, x1 |
| 0x00,0x74,0x58,0xd5 = msrr PAR_EL1, x0, x1 |
| 0x60,0xd0,0x58,0xd5 = msrr RCWSMASK_EL1, x0, x1 |
| 0xc0,0xd0,0x58,0xd5 = msrr RCWMASK_EL1, x0, x1 |
| 0x00,0x20,0x5c,0xd5 = msrr TTBR0_EL2, x0, x1 |
| 0x20,0x20,0x5c,0xd5 = msrr TTBR1_EL2, x0, x1 |
| 0x00,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x0, x1 |
| 0x00,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x0, x1 |
| 0x02,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x2, x3 |
| 0x04,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x4, x5 |
| 0x06,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x6, x7 |
| 0x08,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x8, x9 |
| 0x0a,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x10, x11 |
| 0x0c,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x12, x13 |
| 0x0e,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x14, x15 |
| 0x10,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x16, x17 |
| 0x12,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x18, x19 |
| 0x14,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x20, x21 |
| 0x16,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x22, x23 |
| 0x18,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x24, x25 |
| 0x1a,0x21,0x5c,0xd5 = msrr VTTBR_EL2, x26, x27 |