}
#endif
-static void *mpc8544_load_device_tree(target_phys_addr_t addr,
+static void *mpc8544_load_device_tree(a_target_phys_addr addr,
uint32_t ramsize,
- target_phys_addr_t initrd_base,
- target_phys_addr_t initrd_size,
+ a_target_phys_addr initrd_base,
+ a_target_phys_addr initrd_size,
const char *kernel_cmdline)
{
void *fdt = NULL;
return fdt;
}
-static void mpc8544ds_init(ram_addr_t ram_size,
+static void mpc8544ds_init(a_ram_addr ram_size,
const char *boot_device,
const char *kernel_filename,
const char *kernel_cmdline,
CPUState *env;
uint64_t elf_entry;
uint64_t elf_lowaddr;
- target_phys_addr_t entry=0;
- target_phys_addr_t loadaddr=UIMAGE_LOAD_BASE;
+ a_target_phys_addr entry=0;
+ a_target_phys_addr loadaddr=UIMAGE_LOAD_BASE;
target_long kernel_size=0;
target_ulong dt_base=DTB_LOAD_BASE;
target_ulong initrd_base=INITRD_LOAD_BASE;