static void versatile_init(ram_addr_t ram_size, int vga_ram_size,

                     const char *boot_device, DisplayState *ds,

                     const char *kernel_filename, const char *kernel_cmdline,

                     const char *initrd_filename, const char *cpu_model,

                     int board_id)

{

    CPUState *env;

    qemu_irq *pic;

    qemu_irq *sic;

    void *scsi_hba;

    PCIBus *pci_bus;

    NICInfo *nd;

    int n;

    int done_smc = 0;

    int index;



    if (!cpu_model)

        cpu_model = "arm926";

    env = cpu_init(cpu_model);

    if (!env) {

        fprintf(stderr, "Unable to find CPU definition\n");

        exit(1);

    }

    /* ??? RAM should repeat to fill physical memory space.  */

    /* SDRAM at address zero.  */

    cpu_register_physical_memory(0, ram_size, IO_MEM_RAM);



    arm_sysctl_init(0x10000000, 0x41007004);

    pic = arm_pic_init_cpu(env);

    pic = pl190_init(0x10140000, pic[0], pic[1]);

    sic = vpb_sic_init(0x10003000, pic, 31);

    pl050_init(0x10006000, sic[3], 0);

    pl050_init(0x10007000, sic[4], 1);



    pci_bus = pci_vpb_init(sic, 27, 0);

    /* The Versatile PCI bridge does not provide access to PCI IO space,

       so many of the qemu PCI devices are not useable.  */

    for(n = 0; n < nb_nics; n++) {

        nd = &nd_table[n];

        if (!nd->model)

            nd->model = done_smc ? "rtl8139" : "smc91c111";

        if (strcmp(nd->model, "smc91c111") == 0) {

            smc91c111_init(nd, 0x10010000, sic[25]);

        } else {

            pci_nic_init(pci_bus, nd, -1);

        }

    }

    if (usb_enabled) {

        usb_ohci_init_pci(pci_bus, 3, -1);

    }

    if (drive_get_max_bus(IF_SCSI) > 0) {

        fprintf(stderr, "qemu: too many SCSI bus\n");

        exit(1);

    }

    scsi_hba = lsi_scsi_init(pci_bus, -1);

    for (n = 0; n < LSI_MAX_DEVS; n++) {

        index = drive_get_index(IF_SCSI, 0, n);

        if (index == -1)

            continue;

        lsi_scsi_attach(scsi_hba, drives_table[index].bdrv, n);

    }



    pl011_init(0x101f1000, pic[12], serial_hds[0], PL011_ARM);

    pl011_init(0x101f2000, pic[13], serial_hds[1], PL011_ARM);

    pl011_init(0x101f3000, pic[14], serial_hds[2], PL011_ARM);

    pl011_init(0x10009000, sic[6], serial_hds[3], PL011_ARM);



    pl080_init(0x10130000, pic[17], 8);

    sp804_init(0x101e2000, pic[4]);

    sp804_init(0x101e3000, pic[5]);



    /* The versatile/PB actually has a modified Color LCD controller

       that includes hardware cursor support from the PL111.  */

    pl110_init(ds, 0x10120000, pic[16], 1);



    index = drive_get_index(IF_SD, 0, 0);

    if (index == -1) {

        fprintf(stderr, "qemu: missing SecureDigital card\n");

        exit(1);

    }



    pl181_init(0x10005000, drives_table[index].bdrv, sic[22], sic[1]);

#if 0

    /* Disabled because there's no way of specifying a block device.  */

    pl181_init(0x1000b000, NULL, sic, 23, 2);

#endif



    /* Add PL031 Real Time Clock. */

    pl031_init(0x101e8000,pic[10]);



    /* Memory map for Versatile/PB:  */

    /* 0x10000000 System registers.  */

    /* 0x10001000 PCI controller config registers.  */

    /* 0x10002000 Serial bus interface.  */

    /*  0x10003000 Secondary interrupt controller.  */

    /* 0x10004000 AACI (audio).  */

    /*  0x10005000 MMCI0.  */

    /*  0x10006000 KMI0 (keyboard).  */

    /*  0x10007000 KMI1 (mouse).  */

    /* 0x10008000 Character LCD Interface.  */

    /*  0x10009000 UART3.  */

    /* 0x1000a000 Smart card 1.  */

    /*  0x1000b000 MMCI1.  */

    /*  0x10010000 Ethernet.  */

    /* 0x10020000 USB.  */

    /* 0x10100000 SSMC.  */

    /* 0x10110000 MPMC.  */

    /*  0x10120000 CLCD Controller.  */

    /*  0x10130000 DMA Controller.  */

    /*  0x10140000 Vectored interrupt controller.  */

    /* 0x101d0000 AHB Monitor Interface.  */

    /* 0x101e0000 System Controller.  */

    /* 0x101e1000 Watchdog Interface.  */

    /* 0x101e2000 Timer 0/1.  */

    /* 0x101e3000 Timer 2/3.  */

    /* 0x101e4000 GPIO port 0.  */

    /* 0x101e5000 GPIO port 1.  */

    /* 0x101e6000 GPIO port 2.  */

    /* 0x101e7000 GPIO port 3.  */

    /* 0x101e8000 RTC.  */

    /* 0x101f0000 Smart card 0.  */

    /*  0x101f1000 UART0.  */

    /*  0x101f2000 UART1.  */

    /*  0x101f3000 UART2.  */

    /* 0x101f4000 SSPI.  */



    versatile_binfo.ram_size = ram_size;

    versatile_binfo.kernel_filename = kernel_filename;

    versatile_binfo.kernel_cmdline = kernel_cmdline;

    versatile_binfo.initrd_filename = initrd_filename;

    versatile_binfo.board_id = board_id;

    arm_load_kernel(env, &versatile_binfo);

}

static void versatile_init(ram_addr_t ram_size, int vga_ram_size,

                     const char *boot_device, DisplayState *ds,

                     const char *kernel_filename, const char *kernel_cmdline,

                     const char *initrd_filename, const char *cpu_model,

                     int board_id)

{

    CPUState *env;

    qemu_irq *pic;

    qemu_irq *sic;

    void *scsi_hba;

    PCIBus *pci_bus;

    NICInfo *nd;

    int n;

    int done_smc = 0;

    int index;



    if (!cpu_model)

        cpu_model = "arm926";

    env = cpu_init(cpu_model);

    if (!env) {

        fprintf(stderr, "Unable to find CPU definition\n");

        exit(1);

    }

    

    

    cpu_register_physical_memory(0, ram_size, IO_MEM_RAM);



    arm_sysctl_init(0x10000000, 0x41007004);

    pic = arm_pic_init_cpu(env);

    pic = pl190_init(0x10140000, pic[0], pic[1]);

    sic = vpb_sic_init(0x10003000, pic, 31);

    pl050_init(0x10006000, sic[3], 0);

    pl050_init(0x10007000, sic[4], 1);



    pci_bus = pci_vpb_init(sic, 27, 0);

    



    for(n = 0; n < nb_nics; n++) {

        nd = &nd_table[n];

        if (!nd->model)

            nd->model = done_smc ? "rtl8139" : "smc91c111";

        if (strcmp(nd->model, "smc91c111") == 0) {

            smc91c111_init(nd, 0x10010000, sic[25]);

        } else {

            pci_nic_init(pci_bus, nd, -1);

        }

    }

    if (usb_enabled) {

        usb_ohci_init_pci(pci_bus, 3, -1);

    }

    if (drive_get_max_bus(IF_SCSI) > 0) {

        fprintf(stderr, "qemu: too many SCSI bus\n");

        exit(1);

    }

    scsi_hba = lsi_scsi_init(pci_bus, -1);

    for (n = 0; n < LSI_MAX_DEVS; n++) {

        index = drive_get_index(IF_SCSI, 0, n);

        if (index == -1)

            continue;

        lsi_scsi_attach(scsi_hba, drives_table[index].bdrv, n);

    }



    pl011_init(0x101f1000, pic[12], serial_hds[0], PL011_ARM);

    pl011_init(0x101f2000, pic[13], serial_hds[1], PL011_ARM);

    pl011_init(0x101f3000, pic[14], serial_hds[2], PL011_ARM);

    pl011_init(0x10009000, sic[6], serial_hds[3], PL011_ARM);



    pl080_init(0x10130000, pic[17], 8);

    sp804_init(0x101e2000, pic[4]);

    sp804_init(0x101e3000, pic[5]);



    



    pl110_init(ds, 0x10120000, pic[16], 1);



    index = drive_get_index(IF_SD, 0, 0);

    if (index == -1) {

        fprintf(stderr, "qemu: missing SecureDigital card\n");

        exit(1);

    }



    pl181_init(0x10005000, drives_table[index].bdrv, sic[22], sic[1]);

#if 0

    

    pl181_init(0x1000b000, NULL, sic, 23, 2);

#endif



    

    pl031_init(0x101e8000,pic[10]);



    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    



    versatile_binfo.ram_size = ram_size;

    versatile_binfo.kernel_filename = kernel_filename;

    versatile_binfo.kernel_cmdline = kernel_cmdline;

    versatile_binfo.initrd_filename = initrd_filename;

    versatile_binfo.board_id = board_id;

    arm_load_kernel(env, &versatile_binfo);

}

static void FUNC_0(ram_addr_t VAR_0, int VAR_1,

                     const char *VAR_2, DisplayState *VAR_3,

                     const char *VAR_4, const char *VAR_5,

                     const char *VAR_6, const char *VAR_7,

                     int VAR_8)

{

    CPUState *env;

    qemu_irq *pic;

    qemu_irq *sic;

    void *VAR_9;

    PCIBus *pci_bus;

    NICInfo *nd;

    int VAR_10;

    int VAR_11 = 0;

    int VAR_12;



    if (!VAR_7)

        VAR_7 = "arm926";

    env = cpu_init(VAR_7);

    if (!env) {

        fprintf(stderr, "Unable to find CPU definition\VAR_10");

        exit(1);

    }

    

    

    cpu_register_physical_memory(0, VAR_0, IO_MEM_RAM);



    arm_sysctl_init(0x10000000, 0x41007004);

    pic = arm_pic_init_cpu(env);

    pic = pl190_init(0x10140000, pic[0], pic[1]);

    sic = vpb_sic_init(0x10003000, pic, 31);

    pl050_init(0x10006000, sic[3], 0);

    pl050_init(0x10007000, sic[4], 1);



    pci_bus = pci_vpb_init(sic, 27, 0);

    



    for(VAR_10 = 0; VAR_10 < nb_nics; VAR_10++) {

        nd = &nd_table[VAR_10];

        if (!nd->model)

            nd->model = VAR_11 ? "rtl8139" : "smc91c111";

        if (strcmp(nd->model, "smc91c111") == 0) {

            smc91c111_init(nd, 0x10010000, sic[25]);

        } else {

            pci_nic_init(pci_bus, nd, -1);

        }

    }

    if (usb_enabled) {

        usb_ohci_init_pci(pci_bus, 3, -1);

    }

    if (drive_get_max_bus(IF_SCSI) > 0) {

        fprintf(stderr, "qemu: too many SCSI bus\VAR_10");

        exit(1);

    }

    VAR_9 = lsi_scsi_init(pci_bus, -1);

    for (VAR_10 = 0; VAR_10 < LSI_MAX_DEVS; VAR_10++) {

        VAR_12 = drive_get_index(IF_SCSI, 0, VAR_10);

        if (VAR_12 == -1)

            continue;

        lsi_scsi_attach(VAR_9, drives_table[VAR_12].bdrv, VAR_10);

    }



    pl011_init(0x101f1000, pic[12], serial_hds[0], PL011_ARM);

    pl011_init(0x101f2000, pic[13], serial_hds[1], PL011_ARM);

    pl011_init(0x101f3000, pic[14], serial_hds[2], PL011_ARM);

    pl011_init(0x10009000, sic[6], serial_hds[3], PL011_ARM);



    pl080_init(0x10130000, pic[17], 8);

    sp804_init(0x101e2000, pic[4]);

    sp804_init(0x101e3000, pic[5]);



    



    pl110_init(VAR_3, 0x10120000, pic[16], 1);



    VAR_12 = drive_get_index(IF_SD, 0, 0);

    if (VAR_12 == -1) {

        fprintf(stderr, "qemu: missing SecureDigital card\VAR_10");

        exit(1);

    }



    pl181_init(0x10005000, drives_table[VAR_12].bdrv, sic[22], sic[1]);

#if 0

    

    pl181_init(0x1000b000, NULL, sic, 23, 2);

#endif



    

    pl031_init(0x101e8000,pic[10]);



    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    

    



    versatile_binfo.VAR_0 = VAR_0;

    versatile_binfo.VAR_4 = VAR_4;

    versatile_binfo.VAR_5 = VAR_5;

    versatile_binfo.VAR_6 = VAR_6;

    versatile_binfo.VAR_8 = VAR_8;

    arm_load_kernel(env, &versatile_binfo);

}

static void FUNC_0(ram_addr_t VAR_0, int VAR_1,
const char *VAR_2, DisplayState *VAR_3,
const char *VAR_4, const char *VAR_5,
const char *VAR_6, const char *VAR_7,
int VAR_8)
{ CPUState *env; qemu_irq *pic; qemu_irq *sic; void *VAR_9; PCIBus *pci_bus; NICInfo *nd; int VAR_10; int VAR_11 = 0; int VAR_12; if (!VAR_7)
VAR_7 = "arm926"; env = cpu_init(VAR_7); if (!env) { fprintf(stderr, "Unable to find CPU definition\VAR_10"); exit(1); } cpu_register_physical_memory(0, VAR_0, IO_MEM_RAM); arm_sysctl_init(0x10000000, 0x41007004); pic = arm_pic_init_cpu(env); pic = pl190_init(0x10140000, pic[0], pic[1]); sic = vpb_sic_init(0x10003000, pic, 31); pl050_init(0x10006000, sic[3], 0); pl050_init(0x10007000, sic[4], 1); pci_bus = pci_vpb_init(sic, 27, 0); for(VAR_10 = 0; VAR_10 < nb_nics; VAR_10++) { nd = &nd_table[VAR_10]; if (!nd->model)
nd->model = VAR_11 ? "rtl8139" : "smc91c111"; if (strcmp(nd->model, "smc91c111") == 0) { smc91c111_init(nd, 0x10010000, sic[25]); } else { pci_nic_init(pci_bus, nd, -1); } } if (usb_enabled) { usb_ohci_init_pci(pci_bus, 3, -1); } if (drive_get_max_bus(IF_SCSI) > 0) { fprintf(stderr, "qemu: too many SCSI bus\VAR_10"); exit(1); } VAR_9 = lsi_scsi_init(pci_bus, -1); for (VAR_10 = 0; VAR_10 < LSI_MAX_DEVS; VAR_10++) { VAR_12 = drive_get_index(IF_SCSI, 0, VAR_10); if (VAR_12 == -1)
continue; lsi_scsi_attach(VAR_9, drives_table[VAR_12].bdrv, VAR_10); } pl011_init(0x101f1000, pic[12], serial_hds[0], PL011_ARM); pl011_init(0x101f2000, pic[13], serial_hds[1], PL011_ARM); pl011_init(0x101f3000, pic[14], serial_hds[2], PL011_ARM); pl011_init(0x10009000, sic[6], serial_hds[3], PL011_ARM); pl080_init(0x10130000, pic[17], 8); sp804_init(0x101e2000, pic[4]); sp804_init(0x101e3000, pic[5]); pl110_init(VAR_3, 0x10120000, pic[16], 1); VAR_12 = drive_get_index(IF_SD, 0, 0); if (VAR_12 == -1) { fprintf(stderr, "qemu: missing SecureDigital card\VAR_10"); exit(1); } pl181_init(0x10005000, drives_table[VAR_12].bdrv, sic[22], sic[1]); #if 0
pl181_init(0x1000b000, NULL, sic, 23, 2); #endif
pl031_init(0x101e8000,pic[10]); versatile_binfo.VAR_0 = VAR_0; versatile_binfo.VAR_4 = VAR_4; versatile_binfo.VAR_5 = VAR_5; versatile_binfo.VAR_6 = VAR_6; versatile_binfo.VAR_8 = VAR_8; arm_load_kernel(env, &versatile_binfo); }