#include "vl.h"
-#define BIOS_FILENAME "mips_bios.bin"
+#ifdef TARGET_WORDS_BIGENDIAN
+#define BIOS_FILENAME "mips_bios.bin"
+#else
+#define BIOS_FILENAME "mipsel_bios.bin"
+#endif
+
#ifdef MIPS_HAS_MIPS64
-#define INITRD_LOAD_ADDR (uint64_t)0x80800000
-#define ENVP_ADDR (uint64_t)0x80002000
+#define INITRD_LOAD_ADDR (int64_t)0x80800000
+#define ENVP_ADDR (int64_t)0x80002000
#else
-#define INITRD_LOAD_ADDR (uint32_t)0x80800000
-#define ENVP_ADDR (uint32_t)0x80002000
+#define INITRD_LOAD_ADDR (int32_t)0x80800000
+#define ENVP_ADDR (int32_t)0x80002000
#endif
-#define VIRT_TO_PHYS_ADDEND (-((uint64_t)(uint32_t)0x80000000))
+#define VIRT_TO_PHYS_ADDEND (-((int64_t)(int32_t)0x80000000))
#define ENVP_NB_ENTRIES 16
#define ENVP_ENTRY_SIZE 256
default:
#if 0
- printf ("malta_fpga_read: Bad register offset 0x%x\n", (int)addr);
+ printf ("malta_fpga_read: Bad register offset 0x" TLSZ "\n",
+ addr);
#endif
break;
}
default:
#if 0
- printf ("malta_fpga_write: Bad register offset 0x%x\n", (int)addr);
+ printf ("malta_fpga_write: Bad register offset 0x" TLSZ "\n",
+ addr);
#endif
break;
}
/* Store command line. */
prom_set(index++, env->kernel_filename);
if (initrd_size > 0)
- prom_set(index++, "rd_start=0x%08x rd_size=%li %s", INITRD_LOAD_ADDR, initrd_size, env->kernel_cmdline);
+ prom_set(index++, "rd_start=0x" TLSZ " rd_size=%li %s", INITRD_LOAD_ADDR, initrd_size, env->kernel_cmdline);
else
prom_set(index++, env->kernel_cmdline);
#else
#define BIOS_FILENAME "mipsel_bios.bin"
#endif
-//#define BIOS_FILENAME "system.bin"
+
#ifdef MIPS_HAS_MIPS64
#define INITRD_LOAD_ADDR (int64_t)(int32_t)0x80800000
#else
strcpy (phys_ram_base + (16 << 20) - 256, kernel_cmdline);
}
- *(int *)(phys_ram_base + (16 << 20) - 260) = tswap32 (0x12345678);
- *(int *)(phys_ram_base + (16 << 20) - 264) = tswap32 (ram_size);
+ *(int32_t *)(phys_ram_base + (16 << 20) - 260) = tswap32 (0x12345678);
+ *(int32_t *)(phys_ram_base + (16 << 20) - 264) = tswap32 (ram_size);
}
static void main_cpu_reset(void *opaque)
snprintf(buf, sizeof(buf), "%s/%s", bios_dir, BIOS_FILENAME);
bios_size = load_image(buf, phys_ram_base + bios_offset);
if ((bios_size > 0) && (bios_size <= BIOS_SIZE)) {
- cpu_register_physical_memory((uint32_t)(0x1fc00000),
+ cpu_register_physical_memory(0x1fc00000,
BIOS_SIZE, bios_offset | IO_MEM_ROM);
} else {
/* not fatal */