|  | /* | 
|  | * ARM RealView Baseboard System emulation. | 
|  | * | 
|  | * Copyright (c) 2006-2007 CodeSourcery. | 
|  | * Written by Paul Brook | 
|  | * | 
|  | * This code is licensed under the GPL. | 
|  | */ | 
|  |  | 
|  | #include "qemu/osdep.h" | 
|  | #include "qapi/error.h" | 
|  | #include "cpu.h" | 
|  | #include "hw/sysbus.h" | 
|  | #include "hw/arm/boot.h" | 
|  | #include "hw/arm/primecell.h" | 
|  | #include "hw/core/split-irq.h" | 
|  | #include "hw/net/lan9118.h" | 
|  | #include "hw/net/smc91c111.h" | 
|  | #include "hw/pci/pci.h" | 
|  | #include "hw/qdev-core.h" | 
|  | #include "net/net.h" | 
|  | #include "sysemu/sysemu.h" | 
|  | #include "hw/boards.h" | 
|  | #include "hw/i2c/i2c.h" | 
|  | #include "qemu/error-report.h" | 
|  | #include "hw/char/pl011.h" | 
|  | #include "hw/cpu/a9mpcore.h" | 
|  | #include "hw/intc/realview_gic.h" | 
|  | #include "hw/irq.h" | 
|  | #include "hw/i2c/arm_sbcon_i2c.h" | 
|  | #include "hw/sd/sd.h" | 
|  | #include "audio/audio.h" | 
|  | #include "target/arm/cpu-qom.h" | 
|  |  | 
|  | #define SMP_BOOT_ADDR 0xe0000000 | 
|  | #define SMP_BOOTREG_ADDR 0x10000030 | 
|  |  | 
|  | /* Board init.  */ | 
|  |  | 
|  | static struct arm_boot_info realview_binfo = { | 
|  | .smp_loader_start = SMP_BOOT_ADDR, | 
|  | .smp_bootreg_addr = SMP_BOOTREG_ADDR, | 
|  | }; | 
|  |  | 
|  | /* The following two lists must be consistent.  */ | 
|  | enum realview_board_type { | 
|  | BOARD_EB, | 
|  | BOARD_EB_MPCORE, | 
|  | BOARD_PB_A8, | 
|  | BOARD_PBX_A9, | 
|  | }; | 
|  |  | 
|  | static const int realview_board_id[] = { | 
|  | 0x33b, | 
|  | 0x33b, | 
|  | 0x769, | 
|  | 0x76d | 
|  | }; | 
|  |  | 
|  | static void split_irq_from_named(DeviceState *src, const char* outname, | 
|  | qemu_irq out1, qemu_irq out2) { | 
|  | DeviceState *splitter = qdev_new(TYPE_SPLIT_IRQ); | 
|  |  | 
|  | qdev_prop_set_uint32(splitter, "num-lines", 2); | 
|  |  | 
|  | qdev_realize_and_unref(splitter, NULL, &error_fatal); | 
|  |  | 
|  | qdev_connect_gpio_out(splitter, 0, out1); | 
|  | qdev_connect_gpio_out(splitter, 1, out2); | 
|  | qdev_connect_gpio_out_named(src, outname, 0, | 
|  | qdev_get_gpio_in(splitter, 0)); | 
|  | } | 
|  |  | 
|  | static void realview_init(MachineState *machine, | 
|  | enum realview_board_type board_type) | 
|  | { | 
|  | ARMCPU *cpu = NULL; | 
|  | CPUARMState *env; | 
|  | MemoryRegion *sysmem = get_system_memory(); | 
|  | MemoryRegion *ram_lo; | 
|  | MemoryRegion *ram_hi = g_new(MemoryRegion, 1); | 
|  | MemoryRegion *ram_alias = g_new(MemoryRegion, 1); | 
|  | MemoryRegion *ram_hack = g_new(MemoryRegion, 1); | 
|  | DeviceState *dev, *sysctl, *gpio2, *pl041; | 
|  | SysBusDevice *busdev; | 
|  | qemu_irq pic[64]; | 
|  | PCIBus *pci_bus = NULL; | 
|  | DriveInfo *dinfo; | 
|  | I2CBus *i2c; | 
|  | int n; | 
|  | unsigned int smp_cpus = machine->smp.cpus; | 
|  | qemu_irq cpu_irq[4]; | 
|  | int is_mpcore = 0; | 
|  | int is_pb = 0; | 
|  | uint32_t proc_id = 0; | 
|  | uint32_t sys_id; | 
|  | ram_addr_t low_ram_size; | 
|  | ram_addr_t ram_size = machine->ram_size; | 
|  | hwaddr periphbase = 0; | 
|  |  | 
|  | switch (board_type) { | 
|  | case BOARD_EB: | 
|  | break; | 
|  | case BOARD_EB_MPCORE: | 
|  | is_mpcore = 1; | 
|  | periphbase = 0x10100000; | 
|  | break; | 
|  | case BOARD_PB_A8: | 
|  | is_pb = 1; | 
|  | break; | 
|  | case BOARD_PBX_A9: | 
|  | is_mpcore = 1; | 
|  | is_pb = 1; | 
|  | periphbase = 0x1f000000; | 
|  | break; | 
|  | } | 
|  |  | 
|  | for (n = 0; n < smp_cpus; n++) { | 
|  | Object *cpuobj = object_new(machine->cpu_type); | 
|  |  | 
|  | /* By default A9,A15 and ARM1176 CPUs have EL3 enabled.  This board | 
|  | * does not currently support EL3 so the CPU EL3 property is disabled | 
|  | * before realization. | 
|  | */ | 
|  | if (object_property_find(cpuobj, "has_el3")) { | 
|  | object_property_set_bool(cpuobj, "has_el3", false, &error_fatal); | 
|  | } | 
|  |  | 
|  | if (is_pb && is_mpcore) { | 
|  | object_property_set_int(cpuobj, "reset-cbar", periphbase, | 
|  | &error_fatal); | 
|  | } | 
|  |  | 
|  | qdev_realize(DEVICE(cpuobj), NULL, &error_fatal); | 
|  |  | 
|  | cpu_irq[n] = qdev_get_gpio_in(DEVICE(cpuobj), ARM_CPU_IRQ); | 
|  | } | 
|  | cpu = ARM_CPU(first_cpu); | 
|  | env = &cpu->env; | 
|  | if (arm_feature(env, ARM_FEATURE_V7)) { | 
|  | if (is_mpcore) { | 
|  | proc_id = 0x0c000000; | 
|  | } else { | 
|  | proc_id = 0x0e000000; | 
|  | } | 
|  | } else if (arm_feature(env, ARM_FEATURE_V6K)) { | 
|  | proc_id = 0x06000000; | 
|  | } else if (arm_feature(env, ARM_FEATURE_V6)) { | 
|  | proc_id = 0x04000000; | 
|  | } else { | 
|  | proc_id = 0x02000000; | 
|  | } | 
|  |  | 
|  | if (is_pb && ram_size > 0x20000000) { | 
|  | /* Core tile RAM.  */ | 
|  | ram_lo = g_new(MemoryRegion, 1); | 
|  | low_ram_size = ram_size - 0x20000000; | 
|  | ram_size = 0x20000000; | 
|  | memory_region_init_ram(ram_lo, NULL, "realview.lowmem", low_ram_size, | 
|  | &error_fatal); | 
|  | memory_region_add_subregion(sysmem, 0x20000000, ram_lo); | 
|  | } | 
|  |  | 
|  | memory_region_init_ram(ram_hi, NULL, "realview.highmem", ram_size, | 
|  | &error_fatal); | 
|  | low_ram_size = ram_size; | 
|  | if (low_ram_size > 0x10000000) | 
|  | low_ram_size = 0x10000000; | 
|  | /* SDRAM at address zero.  */ | 
|  | memory_region_init_alias(ram_alias, NULL, "realview.alias", | 
|  | ram_hi, 0, low_ram_size); | 
|  | memory_region_add_subregion(sysmem, 0, ram_alias); | 
|  | if (is_pb) { | 
|  | /* And again at a high address.  */ | 
|  | memory_region_add_subregion(sysmem, 0x70000000, ram_hi); | 
|  | } else { | 
|  | ram_size = low_ram_size; | 
|  | } | 
|  |  | 
|  | sys_id = is_pb ? 0x01780500 : 0xc1400400; | 
|  | sysctl = qdev_new("realview_sysctl"); | 
|  | qdev_prop_set_uint32(sysctl, "sys_id", sys_id); | 
|  | qdev_prop_set_uint32(sysctl, "proc_id", proc_id); | 
|  | sysbus_realize_and_unref(SYS_BUS_DEVICE(sysctl), &error_fatal); | 
|  | sysbus_mmio_map(SYS_BUS_DEVICE(sysctl), 0, 0x10000000); | 
|  |  | 
|  | if (is_mpcore) { | 
|  | dev = qdev_new(is_pb ? TYPE_A9MPCORE_PRIV : "realview_mpcore"); | 
|  | qdev_prop_set_uint32(dev, "num-cpu", smp_cpus); | 
|  | busdev = SYS_BUS_DEVICE(dev); | 
|  | sysbus_realize_and_unref(busdev, &error_fatal); | 
|  | sysbus_mmio_map(busdev, 0, periphbase); | 
|  | for (n = 0; n < smp_cpus; n++) { | 
|  | sysbus_connect_irq(busdev, n, cpu_irq[n]); | 
|  | } | 
|  | sysbus_create_varargs("l2x0", periphbase + 0x2000, NULL); | 
|  | /* Both A9 and 11MPCore put the GIC CPU i/f at base + 0x100 */ | 
|  | realview_binfo.gic_cpu_if_addr = periphbase + 0x100; | 
|  | } else { | 
|  | uint32_t gic_addr = is_pb ? 0x1e000000 : 0x10040000; | 
|  | /* For now just create the nIRQ GIC, and ignore the others.  */ | 
|  | dev = sysbus_create_simple(TYPE_REALVIEW_GIC, gic_addr, cpu_irq[0]); | 
|  | } | 
|  | for (n = 0; n < 64; n++) { | 
|  | pic[n] = qdev_get_gpio_in(dev, n); | 
|  | } | 
|  |  | 
|  | pl041 = qdev_new("pl041"); | 
|  | qdev_prop_set_uint32(pl041, "nc_fifo_depth", 512); | 
|  | if (machine->audiodev) { | 
|  | qdev_prop_set_string(pl041, "audiodev", machine->audiodev); | 
|  | } | 
|  | sysbus_realize_and_unref(SYS_BUS_DEVICE(pl041), &error_fatal); | 
|  | sysbus_mmio_map(SYS_BUS_DEVICE(pl041), 0, 0x10004000); | 
|  | sysbus_connect_irq(SYS_BUS_DEVICE(pl041), 0, pic[19]); | 
|  |  | 
|  | sysbus_create_simple("pl050_keyboard", 0x10006000, pic[20]); | 
|  | sysbus_create_simple("pl050_mouse", 0x10007000, pic[21]); | 
|  |  | 
|  | pl011_create(0x10009000, pic[12], serial_hd(0)); | 
|  | pl011_create(0x1000a000, pic[13], serial_hd(1)); | 
|  | pl011_create(0x1000b000, pic[14], serial_hd(2)); | 
|  | pl011_create(0x1000c000, pic[15], serial_hd(3)); | 
|  |  | 
|  | /* DMA controller is optional, apparently.  */ | 
|  | dev = qdev_new("pl081"); | 
|  | object_property_set_link(OBJECT(dev), "downstream", OBJECT(sysmem), | 
|  | &error_fatal); | 
|  | busdev = SYS_BUS_DEVICE(dev); | 
|  | sysbus_realize_and_unref(busdev, &error_fatal); | 
|  | sysbus_mmio_map(busdev, 0, 0x10030000); | 
|  | sysbus_connect_irq(busdev, 0, pic[24]); | 
|  |  | 
|  | sysbus_create_simple("sp804", 0x10011000, pic[4]); | 
|  | sysbus_create_simple("sp804", 0x10012000, pic[5]); | 
|  |  | 
|  | sysbus_create_simple("pl061", 0x10013000, pic[6]); | 
|  | sysbus_create_simple("pl061", 0x10014000, pic[7]); | 
|  | gpio2 = sysbus_create_simple("pl061", 0x10015000, pic[8]); | 
|  |  | 
|  | dev = qdev_new("pl111"); | 
|  | object_property_set_link(OBJECT(dev), "framebuffer-memory", | 
|  | OBJECT(sysmem), &error_fatal); | 
|  | sysbus_realize_and_unref(SYS_BUS_DEVICE(dev), &error_fatal); | 
|  | sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, 0x10020000); | 
|  | sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, pic[23]); | 
|  |  | 
|  | dev = sysbus_create_varargs("pl181", 0x10005000, pic[17], pic[18], NULL); | 
|  | /* Wire up MMC card detect and read-only signals. These have | 
|  | * to go to both the PL061 GPIO and the sysctl register. | 
|  | * Note that the PL181 orders these lines (readonly,inserted) | 
|  | * and the PL061 has them the other way about. Also the card | 
|  | * detect line is inverted. | 
|  | */ | 
|  | split_irq_from_named(dev, "card-read-only", | 
|  | qdev_get_gpio_in(sysctl, ARM_SYSCTL_GPIO_MMC_WPROT), | 
|  | qdev_get_gpio_in(gpio2, 1)); | 
|  |  | 
|  | split_irq_from_named(dev, "card-inserted", | 
|  | qdev_get_gpio_in(sysctl, ARM_SYSCTL_GPIO_MMC_CARDIN), | 
|  | qemu_irq_invert(qdev_get_gpio_in(gpio2, 0))); | 
|  |  | 
|  | dinfo = drive_get(IF_SD, 0, 0); | 
|  | if (dinfo) { | 
|  | DeviceState *card; | 
|  |  | 
|  | card = qdev_new(TYPE_SD_CARD); | 
|  | qdev_prop_set_drive_err(card, "drive", blk_by_legacy_dinfo(dinfo), | 
|  | &error_fatal); | 
|  | qdev_realize_and_unref(card, qdev_get_child_bus(dev, "sd-bus"), | 
|  | &error_fatal); | 
|  | } | 
|  |  | 
|  | sysbus_create_simple("pl031", 0x10017000, pic[10]); | 
|  |  | 
|  | if (!is_pb) { | 
|  | dev = qdev_new("realview_pci"); | 
|  | busdev = SYS_BUS_DEVICE(dev); | 
|  | sysbus_realize_and_unref(busdev, &error_fatal); | 
|  | sysbus_mmio_map(busdev, 0, 0x10019000); /* PCI controller registers */ | 
|  | sysbus_mmio_map(busdev, 1, 0x60000000); /* PCI self-config */ | 
|  | sysbus_mmio_map(busdev, 2, 0x61000000); /* PCI config */ | 
|  | sysbus_mmio_map(busdev, 3, 0x62000000); /* PCI I/O */ | 
|  | sysbus_mmio_map(busdev, 4, 0x63000000); /* PCI memory window 1 */ | 
|  | sysbus_mmio_map(busdev, 5, 0x64000000); /* PCI memory window 2 */ | 
|  | sysbus_mmio_map(busdev, 6, 0x68000000); /* PCI memory window 3 */ | 
|  | sysbus_connect_irq(busdev, 0, pic[48]); | 
|  | sysbus_connect_irq(busdev, 1, pic[49]); | 
|  | sysbus_connect_irq(busdev, 2, pic[50]); | 
|  | sysbus_connect_irq(busdev, 3, pic[51]); | 
|  | pci_bus = (PCIBus *)qdev_get_child_bus(dev, "pci"); | 
|  | if (machine_usb(machine)) { | 
|  | pci_create_simple(pci_bus, -1, "pci-ohci"); | 
|  | } | 
|  | n = drive_get_max_bus(IF_SCSI); | 
|  | while (n >= 0) { | 
|  | dev = DEVICE(pci_create_simple(pci_bus, -1, "lsi53c895a")); | 
|  | lsi53c8xx_handle_legacy_cmdline(dev); | 
|  | n--; | 
|  | } | 
|  | } | 
|  |  | 
|  | if (qemu_find_nic_info(is_pb ? "lan9118" : "smc91c111", true, NULL)) { | 
|  | if (is_pb) { | 
|  | lan9118_init(0x4e000000, pic[28]); | 
|  | } else { | 
|  | smc91c111_init(0x4e000000, pic[28]); | 
|  | } | 
|  | } | 
|  |  | 
|  | if (pci_bus) { | 
|  | pci_init_nic_devices(pci_bus, "rtl8139"); | 
|  | } | 
|  |  | 
|  | dev = sysbus_create_simple(TYPE_ARM_SBCON_I2C, 0x10002000, NULL); | 
|  | i2c = (I2CBus *)qdev_get_child_bus(dev, "i2c"); | 
|  | i2c_slave_create_simple(i2c, "ds1338", 0x68); | 
|  |  | 
|  | /* Memory map for RealView Emulation Baseboard:  */ | 
|  | /* 0x10000000 System registers.  */ | 
|  | /*  0x10001000 System controller.  */ | 
|  | /* 0x10002000 Two-Wire Serial Bus.  */ | 
|  | /* 0x10003000 Reserved.  */ | 
|  | /*  0x10004000 AACI.  */ | 
|  | /*  0x10005000 MCI.  */ | 
|  | /* 0x10006000 KMI0.  */ | 
|  | /* 0x10007000 KMI1.  */ | 
|  | /*  0x10008000 Character LCD. (EB) */ | 
|  | /* 0x10009000 UART0.  */ | 
|  | /* 0x1000a000 UART1.  */ | 
|  | /* 0x1000b000 UART2.  */ | 
|  | /* 0x1000c000 UART3.  */ | 
|  | /*  0x1000d000 SSPI.  */ | 
|  | /*  0x1000e000 SCI.  */ | 
|  | /* 0x1000f000 Reserved.  */ | 
|  | /*  0x10010000 Watchdog.  */ | 
|  | /* 0x10011000 Timer 0+1.  */ | 
|  | /* 0x10012000 Timer 2+3.  */ | 
|  | /*  0x10013000 GPIO 0.  */ | 
|  | /*  0x10014000 GPIO 1.  */ | 
|  | /*  0x10015000 GPIO 2.  */ | 
|  | /*  0x10002000 Two-Wire Serial Bus - DVI. (PB) */ | 
|  | /* 0x10017000 RTC.  */ | 
|  | /*  0x10018000 DMC.  */ | 
|  | /*  0x10019000 PCI controller config.  */ | 
|  | /*  0x10020000 CLCD.  */ | 
|  | /* 0x10030000 DMA Controller.  */ | 
|  | /* 0x10040000 GIC1. (EB) */ | 
|  | /*  0x10050000 GIC2. (EB) */ | 
|  | /*  0x10060000 GIC3. (EB) */ | 
|  | /*  0x10070000 GIC4. (EB) */ | 
|  | /*  0x10080000 SMC.  */ | 
|  | /* 0x1e000000 GIC1. (PB) */ | 
|  | /*  0x1e001000 GIC2. (PB) */ | 
|  | /*  0x1e002000 GIC3. (PB) */ | 
|  | /*  0x1e003000 GIC4. (PB) */ | 
|  | /*  0x40000000 NOR flash.  */ | 
|  | /*  0x44000000 DoC flash.  */ | 
|  | /*  0x48000000 SRAM.  */ | 
|  | /*  0x4c000000 Configuration flash.  */ | 
|  | /* 0x4e000000 Ethernet.  */ | 
|  | /*  0x4f000000 USB.  */ | 
|  | /*  0x50000000 PISMO.  */ | 
|  | /*  0x54000000 PISMO.  */ | 
|  | /*  0x58000000 PISMO.  */ | 
|  | /*  0x5c000000 PISMO.  */ | 
|  | /* 0x60000000 PCI.  */ | 
|  | /* 0x60000000 PCI Self Config.  */ | 
|  | /* 0x61000000 PCI Config.  */ | 
|  | /* 0x62000000 PCI IO.  */ | 
|  | /* 0x63000000 PCI mem 0.  */ | 
|  | /* 0x64000000 PCI mem 1.  */ | 
|  | /* 0x68000000 PCI mem 2.  */ | 
|  |  | 
|  | /* ??? Hack to map an additional page of ram for the secondary CPU | 
|  | startup code.  I guess this works on real hardware because the | 
|  | BootROM happens to be in ROM/flash or in memory that isn't clobbered | 
|  | until after Linux boots the secondary CPUs.  */ | 
|  | memory_region_init_ram(ram_hack, NULL, "realview.hack", 0x1000, | 
|  | &error_fatal); | 
|  | memory_region_add_subregion(sysmem, SMP_BOOT_ADDR, ram_hack); | 
|  |  | 
|  | realview_binfo.ram_size = ram_size; | 
|  | realview_binfo.board_id = realview_board_id[board_type]; | 
|  | realview_binfo.loader_start = (board_type == BOARD_PB_A8 ? 0x70000000 : 0); | 
|  | arm_load_kernel(cpu, machine, &realview_binfo); | 
|  | } | 
|  |  | 
|  | static void realview_eb_init(MachineState *machine) | 
|  | { | 
|  | realview_init(machine, BOARD_EB); | 
|  | } | 
|  |  | 
|  | static void realview_eb_mpcore_init(MachineState *machine) | 
|  | { | 
|  | realview_init(machine, BOARD_EB_MPCORE); | 
|  | } | 
|  |  | 
|  | static void realview_pb_a8_init(MachineState *machine) | 
|  | { | 
|  | realview_init(machine, BOARD_PB_A8); | 
|  | } | 
|  |  | 
|  | static void realview_pbx_a9_init(MachineState *machine) | 
|  | { | 
|  | realview_init(machine, BOARD_PBX_A9); | 
|  | } | 
|  |  | 
|  | static void realview_eb_class_init(ObjectClass *oc, void *data) | 
|  | { | 
|  | MachineClass *mc = MACHINE_CLASS(oc); | 
|  |  | 
|  | mc->desc = "ARM RealView Emulation Baseboard (ARM926EJ-S)"; | 
|  | mc->init = realview_eb_init; | 
|  | mc->block_default_type = IF_SCSI; | 
|  | mc->ignore_memory_transaction_failures = true; | 
|  | mc->default_cpu_type = ARM_CPU_TYPE_NAME("arm926"); | 
|  |  | 
|  | machine_add_audiodev_property(mc); | 
|  | } | 
|  |  | 
|  | static const TypeInfo realview_eb_type = { | 
|  | .name = MACHINE_TYPE_NAME("realview-eb"), | 
|  | .parent = TYPE_MACHINE, | 
|  | .class_init = realview_eb_class_init, | 
|  | }; | 
|  |  | 
|  | static void realview_eb_mpcore_class_init(ObjectClass *oc, void *data) | 
|  | { | 
|  | MachineClass *mc = MACHINE_CLASS(oc); | 
|  |  | 
|  | mc->desc = "ARM RealView Emulation Baseboard (ARM11MPCore)"; | 
|  | mc->init = realview_eb_mpcore_init; | 
|  | mc->block_default_type = IF_SCSI; | 
|  | mc->max_cpus = 4; | 
|  | mc->ignore_memory_transaction_failures = true; | 
|  | mc->default_cpu_type = ARM_CPU_TYPE_NAME("arm11mpcore"); | 
|  |  | 
|  | machine_add_audiodev_property(mc); | 
|  | } | 
|  |  | 
|  | static const TypeInfo realview_eb_mpcore_type = { | 
|  | .name = MACHINE_TYPE_NAME("realview-eb-mpcore"), | 
|  | .parent = TYPE_MACHINE, | 
|  | .class_init = realview_eb_mpcore_class_init, | 
|  | }; | 
|  |  | 
|  | static void realview_pb_a8_class_init(ObjectClass *oc, void *data) | 
|  | { | 
|  | MachineClass *mc = MACHINE_CLASS(oc); | 
|  |  | 
|  | mc->desc = "ARM RealView Platform Baseboard for Cortex-A8"; | 
|  | mc->init = realview_pb_a8_init; | 
|  | mc->ignore_memory_transaction_failures = true; | 
|  | mc->default_cpu_type = ARM_CPU_TYPE_NAME("cortex-a8"); | 
|  |  | 
|  | machine_add_audiodev_property(mc); | 
|  | } | 
|  |  | 
|  | static const TypeInfo realview_pb_a8_type = { | 
|  | .name = MACHINE_TYPE_NAME("realview-pb-a8"), | 
|  | .parent = TYPE_MACHINE, | 
|  | .class_init = realview_pb_a8_class_init, | 
|  | }; | 
|  |  | 
|  | static void realview_pbx_a9_class_init(ObjectClass *oc, void *data) | 
|  | { | 
|  | MachineClass *mc = MACHINE_CLASS(oc); | 
|  |  | 
|  | mc->desc = "ARM RealView Platform Baseboard Explore for Cortex-A9"; | 
|  | mc->init = realview_pbx_a9_init; | 
|  | mc->max_cpus = 4; | 
|  | mc->ignore_memory_transaction_failures = true; | 
|  | mc->default_cpu_type = ARM_CPU_TYPE_NAME("cortex-a9"); | 
|  |  | 
|  | machine_add_audiodev_property(mc); | 
|  | } | 
|  |  | 
|  | static const TypeInfo realview_pbx_a9_type = { | 
|  | .name = MACHINE_TYPE_NAME("realview-pbx-a9"), | 
|  | .parent = TYPE_MACHINE, | 
|  | .class_init = realview_pbx_a9_class_init, | 
|  | }; | 
|  |  | 
|  | static void realview_machine_init(void) | 
|  | { | 
|  | type_register_static(&realview_eb_type); | 
|  | type_register_static(&realview_eb_mpcore_type); | 
|  | type_register_static(&realview_pb_a8_type); | 
|  | type_register_static(&realview_pbx_a9_type); | 
|  | } | 
|  |  | 
|  | type_init(realview_machine_init) |