static void ss5_init(int ram_size, int vga_ram_size, int boot_device,

                       DisplayState *ds, const char **fd_filename, int snapshot,

                       const char *kernel_filename, const char *kernel_cmdline,

                       const char *initrd_filename, const char *cpu_model)

{

    if (cpu_model == NULL)

        cpu_model = "Fujitsu MB86904";

    sun4m_common_init(ram_size, boot_device, ds, kernel_filename,

                      kernel_cmdline, initrd_filename, cpu_model,

                      0);

}

static void ss5_init(int ram_size, int vga_ram_size, int boot_device,

                       DisplayState *ds, const char **fd_filename, int snapshot,

                       const char *kernel_filename, const char *kernel_cmdline,

                       const char *initrd_filename, const char *cpu_model)

{

    if (cpu_model == NULL)

        cpu_model = "Fujitsu MB86904";

    sun4m_common_init(ram_size, boot_device, ds, kernel_filename,

                      kernel_cmdline, initrd_filename, cpu_model,

                      0);

}

static void FUNC_0(int VAR_0, int VAR_1, int VAR_2,

                       DisplayState *VAR_3, const char **VAR_4, int VAR_5,

                       const char *VAR_6, const char *VAR_7,

                       const char *VAR_8, const char *VAR_9)

{

    if (VAR_9 == NULL)

        VAR_9 = "Fujitsu MB86904";

    sun4m_common_init(VAR_0, VAR_2, VAR_3, VAR_6,

                      VAR_7, VAR_8, VAR_9,

                      0);

}

static void FUNC_0(int VAR_0, int VAR_1, int VAR_2,
DisplayState *VAR_3, const char **VAR_4, int VAR_5,
const char *VAR_6, const char *VAR_7,
const char *VAR_8, const char *VAR_9)
{ if (VAR_9 == NULL)
VAR_9 = "Fujitsu MB86904"; sun4m_common_init(VAR_0, VAR_2, VAR_3, VAR_6,
VAR_7, VAR_8, VAR_9,
0); }