@@ -30,14 +30,14 @@
basis. It's probably easier to fall back to a strong memory model. */
#define TCG_GUEST_DEFAULT_MO TCG_MO_ALL
-#define MMU_KERNEL_IDX 0
-#define MMU_PL1_IDX 1
-#define MMU_PL2_IDX 2
-#define MMU_USER_IDX 3
-#define MMU_PHYS_IDX 4
-
-#define PRIV_TO_MMU_IDX(priv) (priv)
-#define MMU_IDX_TO_PRIV(mmu_idx) (mmu_idx)
+#define MMU_KERNEL_IDX 11
+#define MMU_PL1_IDX 12
+#define MMU_PL2_IDX 13
+#define MMU_USER_IDX 14
+#define MMU_PHYS_IDX 15
+
+#define PRIV_TO_MMU_IDX(priv) (MMU_KERNEL_IDX + (priv))
+#define MMU_IDX_TO_PRIV(mmu_idx) ((mmu_idx) - MMU_KERNEL_IDX)
#define TARGET_INSN_START_EXTRA_WORDS 1