diff --git a/hw/mips_r4k.c b/hw/mips_r4k.c
index d72d768a0a9af40c7c209cc613325e0ccb1014f2..eee29701821dcc45771629ade3ebd962d0f9663a 100644
--- a/hw/mips_r4k.c
+++ b/hw/mips_r4k.c
@@ -12,7 +12,7 @@
 #define BIOS_FILENAME "mips_bios.bin"
 //#define BIOS_FILENAME "system.bin"
 #ifdef MIPS_HAS_MIPS64
-#define INITRD_LOAD_ADDR (int64_t)0x80800000
+#define INITRD_LOAD_ADDR (int64_t)(int32_t)0x80800000
 #else
 #define INITRD_LOAD_ADDR (int32_t)0x80800000
 #endif