static void connex_init(ram_addr_t ram_size, int vga_ram_size,

                const char *boot_device,

                const char *kernel_filename, const char *kernel_cmdline,

                const char *initrd_filename, const char *cpu_model)

{

    struct pxa2xx_state_s *cpu;

    int index;



    uint32_t connex_rom = 0x01000000;

    uint32_t connex_ram = 0x04000000;



    if (ram_size < (connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE)) {

        fprintf(stderr, "This platform requires %i bytes of memory\n",

                connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE);

        exit(1);

    }



    cpu = pxa255_init(connex_ram);



    index = drive_get_index(IF_PFLASH, 0, 0);

    if (index == -1) {

        fprintf(stderr, "A flash image must be given with the "

                "'pflash' parameter\n");

        exit(1);

    }



    if (!pflash_cfi01_register(0x00000000, qemu_ram_alloc(connex_rom),

            drives_table[index].bdrv, sector_len, connex_rom / sector_len,

            2, 0, 0, 0, 0)) {

        fprintf(stderr, "qemu: Error registering flash memory.\n");

        exit(1);

    }



    cpu->env->regs[15] = 0x00000000;



    /* Interrupt line of NIC is connected to GPIO line 36 */

    smc91c111_init(&nd_table[0], 0x04000300,

                    pxa2xx_gpio_in_get(cpu->gpio)[36]);

}

static void connex_init(ram_addr_t ram_size, int vga_ram_size,

                const char *boot_device,

                const char *kernel_filename, const char *kernel_cmdline,

                const char *initrd_filename, const char *cpu_model)

{

    struct pxa2xx_state_s *cpu;

    int index;



    uint32_t connex_rom = 0x01000000;

    uint32_t connex_ram = 0x04000000;



    if (ram_size < (connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE)) {

        fprintf(stderr, "This platform requires %i bytes of memory\n",

                connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE);

        exit(1);

    }



    cpu = pxa255_init(connex_ram);



    index = drive_get_index(IF_PFLASH, 0, 0);

    if (index == -1) {

        fprintf(stderr, "A flash image must be given with the "

                "'pflash' parameter\n");

        exit(1);

    }



    if (!pflash_cfi01_register(0x00000000, qemu_ram_alloc(connex_rom),

            drives_table[index].bdrv, sector_len, connex_rom / sector_len,

            2, 0, 0, 0, 0)) {

        fprintf(stderr, "qemu: Error registering flash memory.\n");

        exit(1);

    }



    cpu->env->regs[15] = 0x00000000;



    

    smc91c111_init(&nd_table[0], 0x04000300,

                    pxa2xx_gpio_in_get(cpu->gpio)[36]);

}

static void FUNC_0(ram_addr_t VAR_0, int VAR_1,

                const char *VAR_2,

                const char *VAR_3, const char *VAR_4,

                const char *VAR_5, const char *VAR_6)

{

    struct pxa2xx_state_s *VAR_7;

    int VAR_8;



    uint32_t connex_rom = 0x01000000;

    uint32_t connex_ram = 0x04000000;



    if (VAR_0 < (connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE)) {

        fprintf(stderr, "This platform requires %i bytes of memory\n",

                connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE);

        exit(1);

    }



    VAR_7 = pxa255_init(connex_ram);



    VAR_8 = drive_get_index(IF_PFLASH, 0, 0);

    if (VAR_8 == -1) {

        fprintf(stderr, "A flash image must be given with the "

                "'pflash' parameter\n");

        exit(1);

    }



    if (!pflash_cfi01_register(0x00000000, qemu_ram_alloc(connex_rom),

            drives_table[VAR_8].bdrv, sector_len, connex_rom / sector_len,

            2, 0, 0, 0, 0)) {

        fprintf(stderr, "qemu: Error registering flash memory.\n");

        exit(1);

    }



    VAR_7->env->regs[15] = 0x00000000;



    

    smc91c111_init(&nd_table[0], 0x04000300,

                    pxa2xx_gpio_in_get(VAR_7->gpio)[36]);

}

static void FUNC_0(ram_addr_t VAR_0, int VAR_1,
const char *VAR_2,
const char *VAR_3, const char *VAR_4,
const char *VAR_5, const char *VAR_6)
{ struct pxa2xx_state_s *VAR_7; int VAR_8; uint32_t connex_rom = 0x01000000; uint32_t connex_ram = 0x04000000; if (VAR_0 < (connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE)) { fprintf(stderr, "This platform requires %i bytes of memory\n",
connex_ram + connex_rom + PXA2XX_INTERNAL_SIZE); exit(1); } VAR_7 = pxa255_init(connex_ram); VAR_8 = drive_get_index(IF_PFLASH, 0, 0); if (VAR_8 == -1) { fprintf(stderr, "A flash image must be given with the "
"'pflash' parameter\n"); exit(1); } if (!pflash_cfi01_register(0x00000000, qemu_ram_alloc(connex_rom),
drives_table[VAR_8].bdrv, sector_len, connex_rom / sector_len,
2, 0, 0, 0, 0)) { fprintf(stderr, "qemu: Error registering flash memory.\n"); exit(1); } VAR_7->env->regs[15] = 0x00000000; smc91c111_init(&nd_table[0], 0x04000300,
pxa2xx_gpio_in_get(VAR_7->gpio)[36]); }