[qemu.git] / hw / versatilepb.c

/*
 * ARM Versatile Platform/Application Baseboard System emulation.
 *
 * Copyright (c) 2005-2007 CodeSourcery.
 * Written by Paul Brook
 *
 * This code is licenced under the GPL.
 */

#include "sysbus.h"
#include "arm-misc.h"
#include "primecell.h"
#include "devices.h"
#include "net.h"
#include "sysemu.h"
#include "pci.h"
#include "usb-ohci.h"
#include "boards.h"
#include "blockdev.h"

/* Primary interrupt controller.  */

typedef struct vpb_sic_state
{
  SysBusDevice busdev;
  uint32_t level;
  uint32_t mask;
  uint32_t pic_enable;
  qemu_irq parent[32];
  int irq;
} vpb_sic_state;

static const VMStateDescription vmstate_vpb_sic = {
    .name = "versatilepb_sic",
    .version_id = 1,
    .minimum_version_id = 1,
    .fields = (VMStateField[]) {
        VMSTATE_UINT32(level, vpb_sic_state),
        VMSTATE_UINT32(mask, vpb_sic_state),
        VMSTATE_UINT32(pic_enable, vpb_sic_state),
        VMSTATE_END_OF_LIST()
    }
};

static void vpb_sic_update(vpb_sic_state *s)
{
    uint32_t flags;

    flags = s->level & s->mask;
    qemu_set_irq(s->parent[s->irq], flags != 0);
}

static void vpb_sic_update_pic(vpb_sic_state *s)
{
    int i;
    uint32_t mask;

    for (i = 21; i <= 30; i++) {
        mask = 1u << i;
        if (!(s->pic_enable & mask))
            continue;
        qemu_set_irq(s->parent[i], (s->level & mask) != 0);
    }
}

static void vpb_sic_set_irq(void *opaque, int irq, int level)
{
    vpb_sic_state *s = (vpb_sic_state *)opaque;
    if (level)
        s->level |= 1u << irq;
    else
        s->level &= ~(1u << irq);
    if (s->pic_enable & (1u << irq))
        qemu_set_irq(s->parent[irq], level);
    vpb_sic_update(s);
}

static uint32_t vpb_sic_read(void *opaque, target_phys_addr_t offset)
{
    vpb_sic_state *s = (vpb_sic_state *)opaque;

    switch (offset >> 2) {
    case 0: /* STATUS */
        return s->level & s->mask;
    case 1: /* RAWSTAT */
        return s->level;
    case 2: /* ENABLE */
        return s->mask;
    case 4: /* SOFTINT */
        return s->level & 1;
    case 8: /* PICENABLE */
        return s->pic_enable;
    default:
        printf ("vpb_sic_read: Bad register offset 0x%x\n", (int)offset);
        return 0;
    }
}

static void vpb_sic_write(void *opaque, target_phys_addr_t offset,
                          uint32_t value)
{
    vpb_sic_state *s = (vpb_sic_state *)opaque;

    switch (offset >> 2) {
    case 2: /* ENSET */
        s->mask |= value;
        break;
    case 3: /* ENCLR */
        s->mask &= ~value;
        break;
    case 4: /* SOFTINTSET */
        if (value)
            s->mask |= 1;
        break;
    case 5: /* SOFTINTCLR */
        if (value)
            s->mask &= ~1u;
        break;
    case 8: /* PICENSET */
        s->pic_enable |= (value & 0x7fe00000);
        vpb_sic_update_pic(s);
        break;
    case 9: /* PICENCLR */
        s->pic_enable &= ~value;
        vpb_sic_update_pic(s);
        break;
    default:
        printf ("vpb_sic_write: Bad register offset 0x%x\n", (int)offset);
        return;
    }
    vpb_sic_update(s);
}

static CPUReadMemoryFunc * const vpb_sic_readfn[] = {
   vpb_sic_read,
   vpb_sic_read,
   vpb_sic_read
};

static CPUWriteMemoryFunc * const vpb_sic_writefn[] = {
   vpb_sic_write,
   vpb_sic_write,
   vpb_sic_write
};

static int vpb_sic_init(SysBusDevice *dev)
{
    vpb_sic_state *s = FROM_SYSBUS(vpb_sic_state, dev);
    int iomemtype;
    int i;

    qdev_init_gpio_in(&dev->qdev, vpb_sic_set_irq, 32);
    for (i = 0; i < 32; i++) {
        sysbus_init_irq(dev, &s->parent[i]);
    }
    s->irq = 31;
    iomemtype = cpu_register_io_memory(vpb_sic_readfn,
                                       vpb_sic_writefn, s,
                                       DEVICE_NATIVE_ENDIAN);
    sysbus_init_mmio(dev, 0x1000, iomemtype);
    return 0;
}

/* Board init.  */

/* The AB and PB boards both use the same core, just with different
   peripherans and expansion busses.  For now we emulate a subset of the
   PB peripherals and just change the board ID.  */

static struct arm_boot_info versatile_binfo;

static void versatile_init(ram_addr_t ram_size,
                     const char *boot_device,
                     const char *kernel_filename, const char *kernel_cmdline,
                     const char *initrd_filename, const char *cpu_model,
                     int board_id)
{
    CPUState *env;
    ram_addr_t ram_offset;
    qemu_irq *cpu_pic;
    qemu_irq pic[32];
    qemu_irq sic[32];
    DeviceState *dev;
    PCIBus *pci_bus;
    NICInfo *nd;
    int n;
    int done_smc = 0;

    if (!cpu_model)
        cpu_model = "arm926";
    env = cpu_init(cpu_model);
    if (!env) {
        fprintf(stderr, "Unable to find CPU definition\n");
        exit(1);
    }
    ram_offset = qemu_ram_alloc(NULL, "versatile.ram", ram_size);
    /* ??? RAM should repeat to fill physical memory space.  */
    /* SDRAM at address zero.  */
    cpu_register_physical_memory(0, ram_size, ram_offset | IO_MEM_RAM);

    arm_sysctl_init(0x10000000, 0x41007004, 0x02000000);
    cpu_pic = arm_pic_init_cpu(env);
    dev = sysbus_create_varargs("pl190", 0x10140000,
                                cpu_pic[0], cpu_pic[1], NULL);
    for (n = 0; n < 32; n++) {
        pic[n] = qdev_get_gpio_in(dev, n);
    }
    dev = sysbus_create_simple("versatilepb_sic", 0x10003000, NULL);
    for (n = 0; n < 32; n++) {
        sysbus_connect_irq(sysbus_from_qdev(dev), n, pic[n]);
        sic[n] = qdev_get_gpio_in(dev, n);
    }

    sysbus_create_simple("pl050_keyboard", 0x10006000, sic[3]);
    sysbus_create_simple("pl050_mouse", 0x10007000, sic[4]);

    dev = sysbus_create_varargs("versatile_pci", 0x40000000,
                                sic[27], sic[28], sic[29], sic[30], NULL);
    pci_bus = (PCIBus *)qdev_get_child_bus(dev, "pci");

    /* 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 (!done_smc && (!nd->model || strcmp(nd->model, "smc91c111") == 0)) {
            smc91c111_init(nd, 0x10010000, sic[25]);
            done_smc = 1;
        } else {
            pci_nic_init_nofail(nd, "rtl8139", NULL);
        }
    }
    if (usb_enabled) {
        usb_ohci_init_pci(pci_bus, -1);
    }
    n = drive_get_max_bus(IF_SCSI);
    while (n >= 0) {
        pci_create_simple(pci_bus, -1, "lsi53c895a");
        n--;
    }

    sysbus_create_simple("pl011", 0x101f1000, pic[12]);
    sysbus_create_simple("pl011", 0x101f2000, pic[13]);
    sysbus_create_simple("pl011", 0x101f3000, pic[14]);
    sysbus_create_simple("pl011", 0x10009000, sic[6]);

    sysbus_create_simple("pl080", 0x10130000, pic[17]);
    sysbus_create_simple("sp804", 0x101e2000, pic[4]);
    sysbus_create_simple("sp804", 0x101e3000, pic[5]);

    /* The versatile/PB actually has a modified Color LCD controller
       that includes hardware cursor support from the PL111.  */
    sysbus_create_simple("pl110_versatile", 0x10120000, pic[16]);

    sysbus_create_varargs("pl181", 0x10005000, sic[22], sic[1], NULL);
    sysbus_create_varargs("pl181", 0x1000b000, sic[23], sic[2], NULL);

    /* Add PL031 Real Time Clock. */
    sysbus_create_simple("pl031", 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 vpb_init(ram_addr_t ram_size,
                     const char *boot_device,
                     const char *kernel_filename, const char *kernel_cmdline,
                     const char *initrd_filename, const char *cpu_model)
{
    versatile_init(ram_size,
                   boot_device,
                   kernel_filename, kernel_cmdline,
                   initrd_filename, cpu_model, 0x183);
}

static void vab_init(ram_addr_t ram_size,
                     const char *boot_device,
                     const char *kernel_filename, const char *kernel_cmdline,
                     const char *initrd_filename, const char *cpu_model)
{
    versatile_init(ram_size,
                   boot_device,
                   kernel_filename, kernel_cmdline,
                   initrd_filename, cpu_model, 0x25e);
}

static QEMUMachine versatilepb_machine = {
    .name = "versatilepb",
    .desc = "ARM Versatile/PB (ARM926EJ-S)",
    .init = vpb_init,
    .use_scsi = 1,
};

static QEMUMachine versatileab_machine = {
    .name = "versatileab",
    .desc = "ARM Versatile/AB (ARM926EJ-S)",
    .init = vab_init,
    .use_scsi = 1,
};

static void versatile_machine_init(void)
{
    qemu_register_machine(&versatilepb_machine);
    qemu_register_machine(&versatileab_machine);
}

machine_init(versatile_machine_init);

static SysBusDeviceInfo vpb_sic_info = {
    .init = vpb_sic_init,
    .qdev.name = "versatilepb_sic",
    .qdev.size = sizeof(vpb_sic_state),
    .qdev.vmsd = &vmstate_vpb_sic,
    .qdev.no_user = 1,
};

static void versatilepb_register_devices(void)
{
    sysbus_register_withprop(&vpb_sic_info);
}

device_init(versatilepb_register_devices)
Commit	Line	Data
5fafdf24	1	/*
16406950	2	* ARM Versatile Platform/Application Baseboard System emulation.
cdbdb648	3	*
a1bb27b1	4	* Copyright (c) 2005-2007 CodeSourcery.
cdbdb648 PB	5	* Written by Paul Brook
	6	*
	7	* This code is licenced under the GPL.
	8	*/
	9
2e9bdce5	10	#include "sysbus.h"
87ecb68b PB	11	#include "arm-misc.h"
	12	#include "primecell.h"
	13	#include "devices.h"
	14	#include "net.h"
	15	#include "sysemu.h"
	16	#include "pci.h"
18e08a55	17	#include "usb-ohci.h"
87ecb68b	18	#include "boards.h"
2446333c	19	#include "blockdev.h"
cdbdb648	20
cdbdb648 PB	21	/* Primary interrupt controller. */
	22
	23	typedef struct vpb_sic_state
	24	{
3950f18b	25	SysBusDevice busdev;
cdbdb648 PB	26	uint32_t level;
	27	uint32_t mask;
	28	uint32_t pic_enable;
97aff481	29	qemu_irq parent[32];
cdbdb648 PB	30	int irq;
	31	} vpb_sic_state;
	32
a796d0ac PM	33	static const VMStateDescription vmstate_vpb_sic = {
	34	.name = "versatilepb_sic",
	35	.version_id = 1,
	36	.minimum_version_id = 1,
	37	.fields = (VMStateField[]) {
	38	VMSTATE_UINT32(level, vpb_sic_state),
	39	VMSTATE_UINT32(mask, vpb_sic_state),
	40	VMSTATE_UINT32(pic_enable, vpb_sic_state),
	41	VMSTATE_END_OF_LIST()
	42	}
	43	};
	44
cdbdb648 PB	45	static void vpb_sic_update(vpb_sic_state *s)
	46	{
	47	uint32_t flags;
	48
	49	flags = s->level & s->mask;
d537cf6c	50	qemu_set_irq(s->parent[s->irq], flags != 0);
cdbdb648 PB	51	}
	52
	53	static void vpb_sic_update_pic(vpb_sic_state *s)
	54	{
	55	int i;
	56	uint32_t mask;
	57
	58	for (i = 21; i <= 30; i++) {
	59	mask = 1u << i;
	60	if (!(s->pic_enable & mask))
	61	continue;
d537cf6c	62	qemu_set_irq(s->parent[i], (s->level & mask) != 0);
cdbdb648 PB	63	}
	64	}
	65
	66	static void vpb_sic_set_irq(void *opaque, int irq, int level)
	67	{
	68	vpb_sic_state s = (vpb_sic_state )opaque;
	69	if (level)
	70	s->level \|= 1u << irq;
	71	else
	72	s->level &= ~(1u << irq);
	73	if (s->pic_enable & (1u << irq))
d537cf6c	74	qemu_set_irq(s->parent[irq], level);
cdbdb648 PB	75	vpb_sic_update(s);
	76	}
	77
c227f099	78	static uint32_t vpb_sic_read(void *opaque, target_phys_addr_t offset)
cdbdb648 PB	79	{
	80	vpb_sic_state s = (vpb_sic_state )opaque;
	81
cdbdb648 PB	82	switch (offset >> 2) {
	83	case 0: /* STATUS */
	84	return s->level & s->mask;
	85	case 1: /* RAWSTAT */
	86	return s->level;
	87	case 2: /* ENABLE */
	88	return s->mask;
	89	case 4: /* SOFTINT */
	90	return s->level & 1;
	91	case 8: /* PICENABLE */
	92	return s->pic_enable;
	93	default:
e69954b9	94	printf ("vpb_sic_read: Bad register offset 0x%x\n", (int)offset);
cdbdb648 PB	95	return 0;
	96	}
	97	}
	98
c227f099	99	static void vpb_sic_write(void *opaque, target_phys_addr_t offset,
cdbdb648 PB	100	uint32_t value)
	101	{
	102	vpb_sic_state s = (vpb_sic_state )opaque;
cdbdb648 PB	103
	104	switch (offset >> 2) {
	105	case 2: /* ENSET */
	106	s->mask \|= value;
	107	break;
	108	case 3: /* ENCLR */
	109	s->mask &= ~value;
	110	break;
	111	case 4: /* SOFTINTSET */
	112	if (value)
	113	s->mask \|= 1;
	114	break;
	115	case 5: /* SOFTINTCLR */
	116	if (value)
	117	s->mask &= ~1u;
	118	break;
	119	case 8: /* PICENSET */
	120	s->pic_enable \|= (value & 0x7fe00000);
	121	vpb_sic_update_pic(s);
	122	break;
	123	case 9: /* PICENCLR */
	124	s->pic_enable &= ~value;
	125	vpb_sic_update_pic(s);
	126	break;
	127	default:
e69954b9	128	printf ("vpb_sic_write: Bad register offset 0x%x\n", (int)offset);
cdbdb648 PB	129	return;
	130	}
	131	vpb_sic_update(s);
	132	}
	133
d60efc6b	134	static CPUReadMemoryFunc * const vpb_sic_readfn[] = {
cdbdb648 PB	135	vpb_sic_read,
	136	vpb_sic_read,
	137	vpb_sic_read
	138	};
	139
d60efc6b	140	static CPUWriteMemoryFunc * const vpb_sic_writefn[] = {
cdbdb648 PB	141	vpb_sic_write,
	142	vpb_sic_write,
	143	vpb_sic_write
	144	};
	145
81a322d4	146	static int vpb_sic_init(SysBusDevice *dev)
cdbdb648	147	{
3950f18b	148	vpb_sic_state *s = FROM_SYSBUS(vpb_sic_state, dev);
cdbdb648	149	int iomemtype;
97aff481	150	int i;
cdbdb648	151
067a3ddc	152	qdev_init_gpio_in(&dev->qdev, vpb_sic_set_irq, 32);
97aff481	153	for (i = 0; i < 32; i++) {
3950f18b	154	sysbus_init_irq(dev, &s->parent[i]);
97aff481	155	}
3950f18b	156	s->irq = 31;
1eed09cb	157	iomemtype = cpu_register_io_memory(vpb_sic_readfn,
2507c12a AG	158	vpb_sic_writefn, s,
2507c12a AG	159	DEVICE_NATIVE_ENDIAN);
3950f18b	160	sysbus_init_mmio(dev, 0x1000, iomemtype);
81a322d4	161	return 0;
cdbdb648 PB	162	}
	163
	164	/* Board init. */
	165
16406950 PB	166	/* The AB and PB boards both use the same core, just with different
	167	peripherans and expansion busses. For now we emulate a subset of the
	168	PB peripherals and just change the board ID. */
cdbdb648	169
f93eb9ff AZ	170	static struct arm_boot_info versatile_binfo;
f93eb9ff AZ	171
c227f099	172	static void versatile_init(ram_addr_t ram_size,
3023f332	173	const char *boot_device,
cdbdb648	174	const char kernel_filename, const char kernel_cmdline,
3371d272 PB	175	const char initrd_filename, const char cpu_model,
3371d272 PB	176	int board_id)
cdbdb648 PB	177	{
cdbdb648 PB	178	CPUState *env;
c227f099	179	ram_addr_t ram_offset;
97aff481 PB	180	qemu_irq *cpu_pic;
97aff481 PB	181	qemu_irq pic[32];
3950f18b	182	qemu_irq sic[32];
97aff481	183	DeviceState *dev;
502a5395 PB	184	PCIBus *pci_bus;
	185	NICInfo *nd;
	186	int n;
	187	int done_smc = 0;
cdbdb648	188
3371d272 PB	189	if (!cpu_model)
3371d272 PB	190	cpu_model = "arm926";
aaed909a FB	191	env = cpu_init(cpu_model);
	192	if (!env) {
	193	fprintf(stderr, "Unable to find CPU definition\n");
	194	exit(1);
	195	}
1724f049	196	ram_offset = qemu_ram_alloc(NULL, "versatile.ram", ram_size);
1235fc06	197	/* ??? RAM should repeat to fill physical memory space. */
cdbdb648	198	/* SDRAM at address zero. */
7ffab4d7	199	cpu_register_physical_memory(0, ram_size, ram_offset \| IO_MEM_RAM);
cdbdb648	200
26e92f65	201	arm_sysctl_init(0x10000000, 0x41007004, 0x02000000);
97aff481 PB	202	cpu_pic = arm_pic_init_cpu(env);
	203	dev = sysbus_create_varargs("pl190", 0x10140000,
	204	cpu_pic[0], cpu_pic[1], NULL);
	205	for (n = 0; n < 32; n++) {
067a3ddc	206	pic[n] = qdev_get_gpio_in(dev, n);
97aff481	207	}
3950f18b PB	208	dev = sysbus_create_simple("versatilepb_sic", 0x10003000, NULL);
	209	for (n = 0; n < 32; n++) {
	210	sysbus_connect_irq(sysbus_from_qdev(dev), n, pic[n]);
067a3ddc	211	sic[n] = qdev_get_gpio_in(dev, n);
3950f18b	212	}
86394e96 PB	213
	214	sysbus_create_simple("pl050_keyboard", 0x10006000, sic[3]);
	215	sysbus_create_simple("pl050_mouse", 0x10007000, sic[4]);
cdbdb648	216
0027b06d PB	217	dev = sysbus_create_varargs("versatile_pci", 0x40000000,
0027b06d PB	218	sic[27], sic[28], sic[29], sic[30], NULL);
02e2da45	219	pci_bus = (PCIBus *)qdev_get_child_bus(dev, "pci");
0027b06d	220
502a5395 PB	221	/* The Versatile PCI bridge does not provide access to PCI IO space,
	222	so many of the qemu PCI devices are not useable. */
	223	for(n = 0; n < nb_nics; n++) {
	224	nd = &nd_table[n];
0ae18cee	225
e6b3c8ca	226	if (!done_smc && (!nd->model \|\| strcmp(nd->model, "smc91c111") == 0)) {
d537cf6c	227	smc91c111_init(nd, 0x10010000, sic[25]);
0ae18cee	228	done_smc = 1;
cdbdb648	229	} else {
07caea31	230	pci_nic_init_nofail(nd, "rtl8139", NULL);
cdbdb648 PB	231	}
cdbdb648 PB	232	}
0d92ed30	233	if (usb_enabled) {
a67ba3b6	234	usb_ohci_init_pci(pci_bus, -1);
0d92ed30	235	}
9be5dafe PB	236	n = drive_get_max_bus(IF_SCSI);
	237	while (n >= 0) {
	238	pci_create_simple(pci_bus, -1, "lsi53c895a");
	239	n--;
7d8406be	240	}
cdbdb648	241
a7d518a6 PB	242	sysbus_create_simple("pl011", 0x101f1000, pic[12]);
	243	sysbus_create_simple("pl011", 0x101f2000, pic[13]);
	244	sysbus_create_simple("pl011", 0x101f3000, pic[14]);
	245	sysbus_create_simple("pl011", 0x10009000, sic[6]);
cdbdb648	246
b4496b13	247	sysbus_create_simple("pl080", 0x10130000, pic[17]);
6a824ec3 PB	248	sysbus_create_simple("sp804", 0x101e2000, pic[4]);
6a824ec3 PB	249	sysbus_create_simple("sp804", 0x101e3000, pic[5]);
cdbdb648 PB	250
	251	/* The versatile/PB actually has a modified Color LCD controller
	252	that includes hardware cursor support from the PL111. */
2e9bdce5	253	sysbus_create_simple("pl110_versatile", 0x10120000, pic[16]);
cdbdb648	254
aa9311d8 PB	255	sysbus_create_varargs("pl181", 0x10005000, sic[22], sic[1], NULL);
aa9311d8 PB	256	sysbus_create_varargs("pl181", 0x1000b000, sic[23], sic[2], NULL);
a1bb27b1	257
7e1543c2	258	/* Add PL031 Real Time Clock. */
a63bdb31	259	sysbus_create_simple("pl031", 0x101e8000, pic[10]);
7e1543c2	260
16406950	261	/* Memory map for Versatile/PB: */
cdbdb648 PB	262	/* 0x10000000 System registers. */
	263	/* 0x10001000 PCI controller config registers. */
	264	/* 0x10002000 Serial bus interface. */
	265	/* 0x10003000 Secondary interrupt controller. */
	266	/* 0x10004000 AACI (audio). */
a1bb27b1	267	/* 0x10005000 MMCI0. */
cdbdb648 PB	268	/* 0x10006000 KMI0 (keyboard). */
	269	/* 0x10007000 KMI1 (mouse). */
	270	/* 0x10008000 Character LCD Interface. */
	271	/* 0x10009000 UART3. */
	272	/* 0x1000a000 Smart card 1. */
a1bb27b1	273	/* 0x1000b000 MMCI1. */
cdbdb648 PB	274	/* 0x10010000 Ethernet. */
	275	/* 0x10020000 USB. */
	276	/* 0x10100000 SSMC. */
	277	/* 0x10110000 MPMC. */
	278	/* 0x10120000 CLCD Controller. */
	279	/* 0x10130000 DMA Controller. */
	280	/* 0x10140000 Vectored interrupt controller. */
	281	/* 0x101d0000 AHB Monitor Interface. */
	282	/* 0x101e0000 System Controller. */
	283	/* 0x101e1000 Watchdog Interface. */
	284	/* 0x101e2000 Timer 0/1. */
	285	/* 0x101e3000 Timer 2/3. */
	286	/* 0x101e4000 GPIO port 0. */
	287	/* 0x101e5000 GPIO port 1. */
	288	/* 0x101e6000 GPIO port 2. */
	289	/* 0x101e7000 GPIO port 3. */
	290	/* 0x101e8000 RTC. */
	291	/* 0x101f0000 Smart card 0. */
	292	/* 0x101f1000 UART0. */
	293	/* 0x101f2000 UART1. */
	294	/* 0x101f3000 UART2. */
	295	/* 0x101f4000 SSPI. */
	296
f93eb9ff AZ	297	versatile_binfo.ram_size = ram_size;
	298	versatile_binfo.kernel_filename = kernel_filename;
	299	versatile_binfo.kernel_cmdline = kernel_cmdline;
	300	versatile_binfo.initrd_filename = initrd_filename;
	301	versatile_binfo.board_id = board_id;
	302	arm_load_kernel(env, &versatile_binfo);
16406950 PB	303	}
16406950 PB	304
c227f099	305	static void vpb_init(ram_addr_t ram_size,
3023f332	306	const char *boot_device,
16406950	307	const char kernel_filename, const char kernel_cmdline,
94fc95cd	308	const char initrd_filename, const char cpu_model)
16406950	309	{
fbe1b595	310	versatile_init(ram_size,
3023f332	311	boot_device,
16406950	312	kernel_filename, kernel_cmdline,
3371d272	313	initrd_filename, cpu_model, 0x183);
16406950 PB	314	}
16406950 PB	315
c227f099	316	static void vab_init(ram_addr_t ram_size,
3023f332	317	const char *boot_device,
16406950	318	const char kernel_filename, const char kernel_cmdline,
94fc95cd	319	const char initrd_filename, const char cpu_model)
16406950	320	{
fbe1b595	321	versatile_init(ram_size,
3023f332	322	boot_device,
16406950	323	kernel_filename, kernel_cmdline,
3371d272	324	initrd_filename, cpu_model, 0x25e);
cdbdb648 PB	325	}
cdbdb648 PB	326
f80f9ec9	327	static QEMUMachine versatilepb_machine = {
c9b1ae2c BS	328	.name = "versatilepb",
	329	.desc = "ARM Versatile/PB (ARM926EJ-S)",
	330	.init = vpb_init,
	331	.use_scsi = 1,
cdbdb648	332	};
16406950	333
f80f9ec9	334	static QEMUMachine versatileab_machine = {
c9b1ae2c BS	335	.name = "versatileab",
	336	.desc = "ARM Versatile/AB (ARM926EJ-S)",
	337	.init = vab_init,
	338	.use_scsi = 1,
16406950	339	};
3950f18b	340
f80f9ec9 AL	341	static void versatile_machine_init(void)
	342	{
	343	qemu_register_machine(&versatilepb_machine);
	344	qemu_register_machine(&versatileab_machine);
	345	}
	346
	347	machine_init(versatile_machine_init);
	348
a796d0ac PM	349	static SysBusDeviceInfo vpb_sic_info = {
	350	.init = vpb_sic_init,
	351	.qdev.name = "versatilepb_sic",
	352	.qdev.size = sizeof(vpb_sic_state),
	353	.qdev.vmsd = &vmstate_vpb_sic,
	354	.qdev.no_user = 1,
	355	};
	356
3950f18b PB	357	static void versatilepb_register_devices(void)
3950f18b PB	358	{
a796d0ac	359	sysbus_register_withprop(&vpb_sic_info);
3950f18b PB	360	}
	361
	362	device_init(versatilepb_register_devices)