| # CS_ARCH_AARCH64, 0, None |
| 0x80,0x11,0x1c,0xd5 = msr HFGRTR_EL2, x0 |
| 0xa5,0x11,0x1c,0xd5 = msr HFGWTR_EL2, x5 |
| 0xca,0x11,0x1c,0xd5 = msr HFGITR_EL2, x10 |
| 0x8f,0x31,0x1c,0xd5 = msr HDFGRTR_EL2, x15 |
| 0xb4,0x31,0x1c,0xd5 = msr HDFGWTR_EL2, x20 |
| 0xd9,0x31,0x1c,0xd5 = msr HAFGRTR_EL2, x25 |
| 0x9e,0x11,0x3c,0xd5 = mrs x30, HFGRTR_EL2 |
| 0xb9,0x11,0x3c,0xd5 = mrs x25, HFGWTR_EL2 |
| 0xd4,0x11,0x3c,0xd5 = mrs x20, HFGITR_EL2 |
| 0x8f,0x31,0x3c,0xd5 = mrs x15, HDFGRTR_EL2 |
| 0xaa,0x31,0x3c,0xd5 = mrs x10, HDFGWTR_EL2 |
| 0xc5,0x31,0x3c,0xd5 = mrs x5, HAFGRTR_EL2 |
| 0x03,0x31,0x3c,0xd5 = mrs x3, HDFGRTR2_EL2 |
| 0x23,0x31,0x3c,0xd5 = mrs x3, HDFGWTR2_EL2 |
| 0x43,0x31,0x3c,0xd5 = mrs x3, HFGRTR2_EL2 |
| 0x63,0x31,0x3c,0xd5 = mrs x3, HFGWTR2_EL2 |
| 0xe3,0x31,0x3c,0xd5 = mrs x3, HFGITR2_EL2 |
| 0x03,0x31,0x1c,0xd5 = msr HDFGRTR2_EL2, x3 |
| 0x23,0x31,0x1c,0xd5 = msr HDFGWTR2_EL2, x3 |
| 0x43,0x31,0x1c,0xd5 = msr HFGRTR2_EL2, x3 |
| 0x63,0x31,0x1c,0xd5 = msr HFGWTR2_EL2, x3 |
| 0xe3,0x31,0x1c,0xd5 = msr HFGITR2_EL2, x3 |