| # CS_ARCH_PPC, CS_MODE_BIG_ENDIAN, CS_OPT_SYNTAX_NOREGNAME+CS_MODE_BOOKE+ |
| 0x4c,0x00,0x02,0x24 = hrfid |
| 0x4c,0x00,0x03,0x64 = nap |
| 0x7c,0x80,0x01,0x24 = mtmsr 4 |
| 0x7c,0x81,0x01,0x24 = mtmsr 4, 1 |
| 0x7c,0x80,0x00,0xa6 = mfmsr 4 |
| 0x7c,0x80,0x01,0x64 = mtmsrd 4 |
| 0x7c,0x81,0x01,0x64 = mtmsrd 4, 1 |
| 0x7c,0x84,0x42,0xa6 = mfspr 4, 260 |
| 0x7c,0x85,0x42,0xa6 = mfspr 4, 261 |
| 0x7c,0x86,0x42,0xa6 = mfspr 4, 262 |
| 0x7c,0x87,0x42,0xa6 = mfspr 4, 263 |
| 0x7c,0x44,0x42,0xa6 = mfspr 2, 260 |
| 0x7c,0x45,0x42,0xa6 = mfspr 2, 261 |
| 0x7c,0x46,0x42,0xa6 = mfspr 2, 262 |
| 0x7c,0x47,0x42,0xa6 = mfspr 2, 263 |
| 0x7c,0x90,0x43,0xa6 = mtspr 272, 4 |
| 0x7c,0x91,0x43,0xa6 = mtspr 273, 4 |
| 0x7c,0x92,0x43,0xa6 = mtspr 274, 4 |
| 0x7c,0x93,0x43,0xa6 = mtspr 275, 4 |
| 0x7c,0x84,0x43,0xa6 = mtspr 260, 4 |
| 0x7c,0x85,0x43,0xa6 = mtspr 261, 4 |
| 0x7c,0x86,0x43,0xa6 = mtspr 262, 4 |
| 0x7c,0x87,0x43,0xa6 = mtspr 263, 4 |
| 0x7c,0x98,0x43,0xa6 = mtasr 4 |
| 0x7c,0x96,0x02,0xa6 = mfdec 4 |
| 0x7c,0x96,0x03,0xa6 = mtdec 4 |
| 0x7c,0x9f,0x42,0xa6 = mfpvr 4 |
| 0x7c,0x99,0x02,0xa6 = mfsdr1 4 |
| 0x7c,0x99,0x03,0xa6 = mtsdr1 4 |
| 0x7c,0x9a,0x02,0xa6 = mfsrr0 4 |
| 0x7c,0x9a,0x03,0xa6 = mtsrr0 4 |
| 0x7c,0x9b,0x02,0xa6 = mfsrr1 4 |
| 0x7c,0x9b,0x03,0xa6 = mtsrr1 4 |
| 0x7c,0x00,0x23,0x64 = slbie 4 |
| 0x7c,0x80,0x2b,0x24 = slbmte 4, 5 |
| 0x7c,0x80,0x2f,0x26 = slbmfee 4, 5 |
| 0x7c,0x40,0x1e,0xa6 = slbmfev 2, 3 |
| 0x7c,0x00,0x03,0xe4 = slbia |
| 0x7c,0x80,0x2f,0xa7 = slbfee. 4, 5 |
| 0x7c,0x00,0x04,0x6c = tlbsync |
| 0x7c,0x00,0x22,0x24 = tlbiel 4 |
| 0x7c,0x00,0x22,0x64 = tlbie 4 |
| 0x7c,0x00,0x22,0x64 = tlbie 4 |
| 0x4c,0x00,0x00,0x64 = rfi |
| 0x4c,0x00,0x00,0x66 = rfci |
| 0x7d,0x80,0x01,0x06 = wrtee 12 |
| 0x7c,0x00,0x01,0x46 = wrteei 0 |
| 0x7c,0x00,0x81,0x46 = wrteei 1 |
| 0x7c,0x00,0x07,0x64 = tlbre |
| 0x7c,0x00,0x07,0xa4 = tlbwe |
| 0x7c,0x0b,0x66,0x24 = tlbivax 11, 12 |
| 0x7c,0x0b,0x67,0x24 = tlbsx 11, 12 |
| 0x7c,0xb0,0x62,0x9c = mfpmr 5, 400 |
| 0x7c,0xd0,0x63,0x9c = mtpmr 400, 6 |
| 0x7c,0x00,0x41,0xcc = icblc 0, 0, 8 |
| 0x7c,0x00,0x4b,0xcc = icbtls 0, 0, 9 |
