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/microblaze/cpu.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/target/microblaze/cpu.h b/target/microblaze/cpu.h index f6cab6ce19..eed0d1d8ad 100644 --- a/target/microblaze/cpu.h +++ b/target/microblaze/cpu.h @@ -394,9 +394,9 @@ void mb_tcg_init(void); #define CPU_RESOLVING_TYPE TYPE_MICROBLAZE_CPU /* MMU modes definitions */ -#define MMU_NOMMU_IDX 0 -#define MMU_KERNEL_IDX 1 -#define MMU_USER_IDX 2 +#define MMU_NOMMU_IDX MMU_INDEX(0) +#define MMU_KERNEL_IDX MMU_INDEX(1) +#define MMU_USER_IDX MMU_INDEX(2) /* See NB_MMU_MODES in cpu-defs.h. */ #include "exec/cpu-all.h" -- 2.41.0