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/alpha/cpu.h | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/target/alpha/cpu.h b/target/alpha/cpu.h
index 13306665af..9bf80cdb35 100644
--- a/target/alpha/cpu.h
+++ b/target/alpha/cpu.h
@@ -194,9 +194,9 @@ enum {
PALcode cheats and uses the KSEG mapping for its code+data rather than
physical addresses. */
-#define MMU_KERNEL_IDX 0
-#define MMU_USER_IDX 1
-#define MMU_PHYS_IDX 2
+#define MMU_KERNEL_IDX MMU_INDEX(0)
+#define MMU_USER_IDX MMU_INDEX(1)
+#define MMU_PHYS_IDX MMU_INDEX(2)
typedef struct CPUArchState {
uint64_t ir[31];
--
2.41.0
