| # CS_ARCH_AARCH64, 0, None |
| 0x1f,0x81,0x08,0xd5 = tlbi vmalle1os |
| 0x3f,0x81,0x08,0xd5 = tlbi vae1os, xzr |
| 0x20,0x81,0x08,0xd5 = tlbi vae1os, x0 |
| 0x41,0x81,0x08,0xd5 = tlbi aside1os, x1 |
| 0x62,0x81,0x08,0xd5 = tlbi vaae1os, x2 |
| 0xa3,0x81,0x08,0xd5 = tlbi vale1os, x3 |
| 0xe4,0x81,0x08,0xd5 = tlbi vaale1os, x4 |
| 0x05,0x84,0x0c,0xd5 = tlbi ipas2e1os, x5 |
| 0x86,0x84,0x0c,0xd5 = tlbi ipas2le1os, x6 |
| 0x27,0x81,0x0c,0xd5 = tlbi vae2os, x7 |
| 0xa8,0x81,0x0c,0xd5 = tlbi vale2os, x8 |
| 0xdf,0x81,0x0c,0xd5 = tlbi vmalls12e1os |
| 0x29,0x81,0x0e,0xd5 = tlbi vae3os, x9 |
| 0xaa,0x81,0x0e,0xd5 = tlbi vale3os, x10 |
| 0x1f,0x81,0x0c,0xd5 = tlbi alle2os |
| 0x9f,0x81,0x0c,0xd5 = tlbi alle1os |
| 0x1f,0x81,0x0e,0xd5 = tlbi alle3os |
| 0x23,0x86,0x08,0xd5 = tlbi rvae1, x3 |
| 0x63,0x86,0x08,0xd5 = tlbi rvaae1, x3 |
| 0xa3,0x86,0x08,0xd5 = tlbi rvale1, x3 |
| 0xe3,0x86,0x08,0xd5 = tlbi rvaale1, x3 |
| 0x23,0x82,0x08,0xd5 = tlbi rvae1is, x3 |
| 0x63,0x82,0x08,0xd5 = tlbi rvaae1is, x3 |
| 0xa3,0x82,0x08,0xd5 = tlbi rvale1is, x3 |
| 0xe3,0x82,0x08,0xd5 = tlbi rvaale1is, x3 |
| 0x23,0x85,0x08,0xd5 = tlbi rvae1os, x3 |
| 0x63,0x85,0x08,0xd5 = tlbi rvaae1os, x3 |
| 0xa3,0x85,0x08,0xd5 = tlbi rvale1os, x3 |
| 0xe3,0x85,0x08,0xd5 = tlbi rvaale1os, x3 |
| 0x43,0x80,0x0c,0xd5 = tlbi ripas2e1is, x3 |
| 0xc3,0x80,0x0c,0xd5 = tlbi ripas2le1is, x3 |
| 0x43,0x84,0x0c,0xd5 = tlbi ripas2e1, x3 |
| 0xc3,0x84,0x0c,0xd5 = tlbi ripas2le1, x3 |
| 0x63,0x84,0x0c,0xd5 = tlbi ripas2e1os, x3 |
| 0xe3,0x84,0x0c,0xd5 = tlbi ripas2le1os, x3 |
| 0x23,0x86,0x0c,0xd5 = tlbi rvae2, x3 |
| 0xa3,0x86,0x0c,0xd5 = tlbi rvale2, x3 |
| 0x23,0x82,0x0c,0xd5 = tlbi rvae2is, x3 |
| 0xa3,0x82,0x0c,0xd5 = tlbi rvale2is, x3 |
| 0x23,0x85,0x0c,0xd5 = tlbi rvae2os, x3 |
| 0xa3,0x85,0x0c,0xd5 = tlbi rvale2os, x3 |
| 0x23,0x86,0x0e,0xd5 = tlbi rvae3, x3 |
| 0xa3,0x86,0x0e,0xd5 = tlbi rvale3, x3 |
| 0x23,0x82,0x0e,0xd5 = tlbi rvae3is, x3 |
| 0xa3,0x82,0x0e,0xd5 = tlbi rvale3is, x3 |
| 0x23,0x85,0x0e,0xd5 = tlbi rvae3os, x3 |
| 0xa3,0x85,0x0e,0xd5 = tlbi rvale3os, x3 |
| 0xbf,0x85,0x0e,0xd5 = tlbi rvale3os, xzr |
