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/nios2/cpu.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/target/nios2/cpu.h b/target/nios2/cpu.h
index 477a3161fd..77f9e3803e 100644
--- a/target/nios2/cpu.h
+++ b/target/nios2/cpu.h
@@ -277,8 +277,8 @@ void do_nios2_semihosting(CPUNios2State *env);
#define CPU_SAVE_VERSION 1
/* MMU modes definitions */
-#define MMU_SUPERVISOR_IDX 0
-#define MMU_USER_IDX 1
+#define MMU_SUPERVISOR_IDX MMU_INDEX(0)
+#define MMU_USER_IDX MMU_INDEX(1)
static inline int cpu_mmu_index(CPUNios2State *env, bool ifetch)
{
--
2.41.0
