static void spitz_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)

{

    spitz_common_init(ram_size, vga_ram_size, ds, kernel_filename,

                kernel_cmdline, initrd_filename, spitz, 0x2c9);

}

static void spitz_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)

{

    spitz_common_init(ram_size, vga_ram_size, ds, kernel_filename,

                kernel_cmdline, initrd_filename, spitz, 0x2c9);

}

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)

{

    spitz_common_init(VAR_0, VAR_1, VAR_3, VAR_6,

                VAR_7, VAR_8, spitz, 0x2c9);

}

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)
{ spitz_common_init(VAR_0, VAR_1, VAR_3, VAR_6,
VAR_7, VAR_8, spitz, 0x2c9); }