Revision fbe1b595 hw/ppce500_mpc8544ds.c

b/hw/ppce500_mpc8544ds.c
151 151
    return fdt;
152 152
}
153 153

  
154
static void mpc8544ds_init(ram_addr_t ram_size, int vga_ram_size,
154
static void mpc8544ds_init(ram_addr_t ram_size,
155 155
                         const char *boot_device,
156 156
                         const char *kernel_filename,
157 157
                         const char *kernel_cmdline,

Also available in: Unified diff