Use the new MMU_INDEX() helper to specify the index of the CPUTLB which
should be used. Additionally, in a follow-up patch this helper allows
then to optimize the tcg code generation.
Signed-off-by: Helge Deller <del...@gmx.de>
---
target/i386/cpu.h | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/target/i386/cpu.h b/target/i386/cpu.h
index e0771a1043..8fb1012346 100644
--- a/target/i386/cpu.h
+++ b/target/i386/cpu.h
@@ -2251,11 +2251,11 @@ uint64_t cpu_get_tsc(CPUX86State *env);
#define cpu_list x86_cpu_list
/* MMU modes definitions */
-#define MMU_KSMAP_IDX 0
-#define MMU_USER_IDX 1
-#define MMU_KNOSMAP_IDX 2
-#define MMU_NESTED_IDX 3
-#define MMU_PHYS_IDX 4
+#define MMU_KSMAP_IDX MMU_INDEX(0)
+#define MMU_USER_IDX MMU_INDEX(1)
+#define MMU_KNOSMAP_IDX MMU_INDEX(2)
+#define MMU_NESTED_IDX MMU_INDEX(3)
+#define MMU_PHYS_IDX MMU_INDEX(4)
static inline int cpu_mmu_index(CPUX86State *env, bool ifetch)
{
--
2.41.0
