hw/highbank.c - qemu - Git at Google

 /*
  * Calxeda Highbank SoC emulation
  *
  * Copyright (c) 2010-2012 Calxeda
  *
  * This program is free software; you can redistribute it and/or modify it
  * under the terms and conditions of the GNU General Public License,
  * version 2 or later, as published by the Free Software Foundation.
  *
  * This program is distributed in the hope it will be useful, but WITHOUT
  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
  * more details.
  *
  * You should have received a copy of the GNU General Public License along with
  * this program.  If not, see <http://www.gnu.org/licenses/>.
  *
  */

 #include "sysbus.h"
 #include "arm-misc.h"
 #include "devices.h"
 #include "loader.h"
 #include "net.h"
 #include "sysemu.h"
 #include "boards.h"
 #include "sysbus.h"
 #include "blockdev.h"
 #include "exec-memory.h"

 #define SMP_BOOT_ADDR 0x100
 #define SMP_BOOT_REG  0x40
 #define GIC_BASE_ADDR 0xfff10000

 #define NIRQ_GIC      160

 /* Board init.  */

 static void hb_write_secondary(ARMCPU *cpu, const struct arm_boot_info *info)
 {
     int n;
     uint32_t smpboot[] = {
         0xee100fb0, /* mrc p15, 0, r0, c0, c0, 5 - read current core id */
         0xe210000f, /* ands r0, r0, #0x0f */
         0xe3a03040, /* mov r3, #0x40 - jump address is 0x40 + 0x10 * core id */
         0xe0830200, /* add r0, r3, r0, lsl #4 */
         0xe59f2018, /* ldr r2, privbase */
         0xe3a01001, /* mov r1, #1 */
         0xe5821100, /* str r1, [r2, #256] */
         0xe320f003, /* wfi */
         0xe5901000, /* ldr     r1, [r0] */
         0xe1110001, /* tst     r1, r1 */
         0x0afffffb, /* beq     <wfi> */
         0xe12fff11, /* bx      r1 */
         GIC_BASE_ADDR      /* privbase: gic address.  */
     };
     for (n = 0; n < ARRAY_SIZE(smpboot); n++) {
         smpboot[n] = tswap32(smpboot[n]);
     }
     rom_add_blob_fixed("smpboot", smpboot, sizeof(smpboot), SMP_BOOT_ADDR);
 }

 static void hb_reset_secondary(ARMCPU *cpu, const struct arm_boot_info *info)
 {
     CPUARMState *env = &cpu->env;

     switch (info->nb_cpus) {
     case 4:
         stl_phys_notdirty(SMP_BOOT_REG + 0x30, 0);
     case 3:
         stl_phys_notdirty(SMP_BOOT_REG + 0x20, 0);
     case 2:
         stl_phys_notdirty(SMP_BOOT_REG + 0x10, 0);
         env->regs[15] = SMP_BOOT_ADDR;
         break;
     default:
         break;
     }
 }

 #define NUM_REGS      0x200
 static void hb_regs_write(void *opaque, target_phys_addr_t offset,
                           uint64_t value, unsigned size)
 {
     uint32_t *regs = opaque;

     if (offset == 0xf00) {
         if (value == 1 || value == 2) {
             qemu_system_reset_request();
         } else if (value == 3) {
             qemu_system_shutdown_request();
         }
     }

     regs[offset/4] = value;
 }

 static uint64_t hb_regs_read(void *opaque, target_phys_addr_t offset,
                              unsigned size)
 {
     uint32_t *regs = opaque;
     uint32_t value = regs[offset/4];

     if ((offset == 0x100) || (offset == 0x108) || (offset == 0x10C)) {
         value |= 0x30000000;
     }

     return value;
 }

 static const MemoryRegionOps hb_mem_ops = {
     .read = hb_regs_read,
     .write = hb_regs_write,
     .endianness = DEVICE_NATIVE_ENDIAN,
 };

 typedef struct {
     SysBusDevice busdev;
     MemoryRegion *iomem;
     uint32_t regs[NUM_REGS];
 } HighbankRegsState;

 static VMStateDescription vmstate_highbank_regs = {
     .name = "highbank-regs",
     .version_id = 0,
     .minimum_version_id = 0,
     .minimum_version_id_old = 0,
     .fields = (VMStateField[]) {
         VMSTATE_UINT32_ARRAY(regs, HighbankRegsState, NUM_REGS),
         VMSTATE_END_OF_LIST(),
     },
 };

 static void highbank_regs_reset(DeviceState *dev)
 {
     SysBusDevice *sys_dev = sysbus_from_qdev(dev);
     HighbankRegsState *s = FROM_SYSBUS(HighbankRegsState, sys_dev);

     s->regs[0x40] = 0x05F20121;
     s->regs[0x41] = 0x2;
     s->regs[0x42] = 0x05F30121;
     s->regs[0x43] = 0x05F40121;
 }

 static int highbank_regs_init(SysBusDevice *dev)
 {
     HighbankRegsState *s = FROM_SYSBUS(HighbankRegsState, dev);

     s->iomem = g_new(MemoryRegion, 1);
     memory_region_init_io(s->iomem, &hb_mem_ops, s->regs, "highbank_regs",
                           0x1000);
     sysbus_init_mmio(dev, s->iomem);

     return 0;
 }

 static void highbank_regs_class_init(ObjectClass *klass, void *data)
 {
     SysBusDeviceClass *sbc = SYS_BUS_DEVICE_CLASS(klass);
     DeviceClass *dc = DEVICE_CLASS(klass);

     sbc->init = highbank_regs_init;
     dc->desc = "Calxeda Highbank registers";
     dc->vmsd = &vmstate_highbank_regs;
     dc->reset = highbank_regs_reset;
 }

 static TypeInfo highbank_regs_info = {
     .name          = "highbank-regs",
     .parent        = TYPE_SYS_BUS_DEVICE,
     .instance_size = sizeof(HighbankRegsState),
     .class_init    = highbank_regs_class_init,
 };

 static void highbank_regs_register_types(void)
 {
     type_register_static(&highbank_regs_info);
 }

 type_init(highbank_regs_register_types)

 static struct arm_boot_info highbank_binfo;

 /* ram_size must be set to match the upper bound of memory in the
  * device tree (linux/arch/arm/boot/dts/highbank.dts), which is
  * normally 0xff900000 or -m 4089. When running this board on a
  * 32-bit host, set the reg value of memory to 0xf7ff00000 in the
  * device tree and pass -m 2047 to QEMU.
  */
 static void highbank_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)
 {
     DeviceState *dev;
     SysBusDevice *busdev;
     qemu_irq *irqp;
     qemu_irq pic[128];
     int n;
     qemu_irq cpu_irq[4];
     MemoryRegion *sysram;
     MemoryRegion *dram;
     MemoryRegion *sysmem;
     char *sysboot_filename;

     if (!cpu_model) {
         cpu_model = "cortex-a9";
     }

     for (n = 0; n < smp_cpus; n++) {
         ARMCPU *cpu;
         cpu = cpu_arm_init(cpu_model);
         if (cpu == NULL) {
             fprintf(stderr, "Unable to find CPU definition\n");
             exit(1);
         }

         /* This will become a QOM property eventually */
         cpu->reset_cbar = GIC_BASE_ADDR;
         irqp = arm_pic_init_cpu(cpu);
         cpu_irq[n] = irqp[ARM_PIC_CPU_IRQ];
     }

     sysmem = get_system_memory();
     dram = g_new(MemoryRegion, 1);
     memory_region_init_ram(dram, "highbank.dram", ram_size);
     /* SDRAM at address zero.  */
     memory_region_add_subregion(sysmem, 0, dram);

     sysram = g_new(MemoryRegion, 1);
     memory_region_init_ram(sysram, "highbank.sysram", 0x8000);
     memory_region_add_subregion(sysmem, 0xfff88000, sysram);
     if (bios_name != NULL) {
         sysboot_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bios_name);
         if (sysboot_filename != NULL) {
             uint32_t filesize = get_image_size(sysboot_filename);
             if (load_image_targphys("sysram.bin", 0xfff88000, filesize) < 0) {
                 hw_error("Unable to load %s\n", bios_name);
             }
         } else {
            hw_error("Unable to find %s\n", bios_name);
         }
     }

     dev = qdev_create(NULL, "a9mpcore_priv");
     qdev_prop_set_uint32(dev, "num-cpu", smp_cpus);
     qdev_prop_set_uint32(dev, "num-irq", NIRQ_GIC);
     qdev_init_nofail(dev);
     busdev = sysbus_from_qdev(dev);
     sysbus_mmio_map(busdev, 0, GIC_BASE_ADDR);
     for (n = 0; n < smp_cpus; n++) {
         sysbus_connect_irq(busdev, n, cpu_irq[n]);
     }

     for (n = 0; n < 128; n++) {
         pic[n] = qdev_get_gpio_in(dev, n);
     }

     dev = qdev_create(NULL, "l2x0");
     qdev_init_nofail(dev);
     busdev = sysbus_from_qdev(dev);
     sysbus_mmio_map(busdev, 0, 0xfff12000);

     dev = qdev_create(NULL, "sp804");
     qdev_prop_set_uint32(dev, "freq0", 150000000);
     qdev_prop_set_uint32(dev, "freq1", 150000000);
     qdev_init_nofail(dev);
     busdev = sysbus_from_qdev(dev);
     sysbus_mmio_map(busdev, 0, 0xfff34000);
     sysbus_connect_irq(busdev, 0, pic[18]);
     sysbus_create_simple("pl011", 0xfff36000, pic[20]);

     dev = qdev_create(NULL, "highbank-regs");
     qdev_init_nofail(dev);
     busdev = sysbus_from_qdev(dev);
     sysbus_mmio_map(busdev, 0, 0xfff3c000);

     sysbus_create_simple("pl061", 0xfff30000, pic[14]);
     sysbus_create_simple("pl061", 0xfff31000, pic[15]);
     sysbus_create_simple("pl061", 0xfff32000, pic[16]);
     sysbus_create_simple("pl061", 0xfff33000, pic[17]);
     sysbus_create_simple("pl031", 0xfff35000, pic[19]);
     sysbus_create_simple("pl022", 0xfff39000, pic[23]);

     sysbus_create_simple("sysbus-ahci", 0xffe08000, pic[83]);

     if (nd_table[0].used) {
         qemu_check_nic_model(&nd_table[0], "xgmac");
         dev = qdev_create(NULL, "xgmac");
         qdev_set_nic_properties(dev, &nd_table[0]);
         qdev_init_nofail(dev);
         sysbus_mmio_map(sysbus_from_qdev(dev), 0, 0xfff50000);
         sysbus_connect_irq(sysbus_from_qdev(dev), 0, pic[77]);
         sysbus_connect_irq(sysbus_from_qdev(dev), 1, pic[78]);
         sysbus_connect_irq(sysbus_from_qdev(dev), 2, pic[79]);

         qemu_check_nic_model(&nd_table[1], "xgmac");
         dev = qdev_create(NULL, "xgmac");
         qdev_set_nic_properties(dev, &nd_table[1]);
         qdev_init_nofail(dev);
         sysbus_mmio_map(sysbus_from_qdev(dev), 0, 0xfff51000);
         sysbus_connect_irq(sysbus_from_qdev(dev), 0, pic[80]);
         sysbus_connect_irq(sysbus_from_qdev(dev), 1, pic[81]);
         sysbus_connect_irq(sysbus_from_qdev(dev), 2, pic[82]);
     }

     highbank_binfo.ram_size = ram_size;
     highbank_binfo.kernel_filename = kernel_filename;
     highbank_binfo.kernel_cmdline = kernel_cmdline;
     highbank_binfo.initrd_filename = initrd_filename;
     /* highbank requires a dtb in order to boot, and the dtb will override
      * the board ID. The following value is ignored, so set it to -1 to be
      * clear that the value is meaningless.
      */
     highbank_binfo.board_id = -1;
     highbank_binfo.nb_cpus = smp_cpus;
     highbank_binfo.loader_start = 0;
     highbank_binfo.write_secondary_boot = hb_write_secondary;
     highbank_binfo.secondary_cpu_reset_hook = hb_reset_secondary;
     arm_load_kernel(arm_env_get_cpu(first_cpu), &highbank_binfo);
 }

 static QEMUMachine highbank_machine = {
     .name = "highbank",
     .desc = "Calxeda Highbank (ECX-1000)",
     .init = highbank_init,
     .use_scsi = 1,
     .max_cpus = 4,
 };

 static void highbank_machine_init(void)
 {
     qemu_register_machine(&highbank_machine);
 }

 machine_init(highbank_machine_init);
	/*
	* Calxeda Highbank SoC emulation
	*
	* Copyright (c) 2010-2012 Calxeda
	*
	* This program is free software; you can redistribute it and/or modify it
	* under the terms and conditions of the GNU General Public License,
	* version 2 or later, as published by the Free Software Foundation.
	*
	* This program is distributed in the hope it will be useful, but WITHOUT
	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
	* more details.
	*
	* You should have received a copy of the GNU General Public License along with
	* this program. If not, see <http://www.gnu.org/licenses/>.
	*
	*/

	#include "sysbus.h"
	#include "arm-misc.h"
	#include "devices.h"
	#include "loader.h"
	#include "net.h"
	#include "sysemu.h"
	#include "boards.h"
	#include "sysbus.h"
	#include "blockdev.h"
	#include "exec-memory.h"

	#define SMP_BOOT_ADDR 0x100
	#define SMP_BOOT_REG 0x40
	#define GIC_BASE_ADDR 0xfff10000

	#define NIRQ_GIC 160

	/* Board init. */

	static void hb_write_secondary(ARMCPU cpu, const struct arm_boot_info info)
	{
	int n;
	uint32_t smpboot[] = {
	0xee100fb0, /* mrc p15, 0, r0, c0, c0, 5 - read current core id */
	0xe210000f, /* ands r0, r0, #0x0f */
	0xe3a03040, /* mov r3, #0x40 - jump address is 0x40 + 0x10 * core id */
	0xe0830200, /* add r0, r3, r0, lsl #4 */
	0xe59f2018, /* ldr r2, privbase */
	0xe3a01001, /* mov r1, #1 */
	0xe5821100, /* str r1, [r2, #256] */
	0xe320f003, /* wfi */
	0xe5901000, /* ldr r1, [r0] */
	0xe1110001, /* tst r1, r1 */
	0x0afffffb, /* beq <wfi> */
	0xe12fff11, /* bx r1 */
	GIC_BASE_ADDR /* privbase: gic address. */
	};
	for (n = 0; n < ARRAY_SIZE(smpboot); n++) {
	smpboot[n] = tswap32(smpboot[n]);
	}
	rom_add_blob_fixed("smpboot", smpboot, sizeof(smpboot), SMP_BOOT_ADDR);
	}

	static void hb_reset_secondary(ARMCPU cpu, const struct arm_boot_info info)
	{
	CPUARMState *env = &cpu->env;

	switch (info->nb_cpus) {
	case 4:
	stl_phys_notdirty(SMP_BOOT_REG + 0x30, 0);
	case 3:
	stl_phys_notdirty(SMP_BOOT_REG + 0x20, 0);
	case 2:
	stl_phys_notdirty(SMP_BOOT_REG + 0x10, 0);
	env->regs[15] = SMP_BOOT_ADDR;
	break;
	default:
	break;
	}
	}

	#define NUM_REGS 0x200
	static void hb_regs_write(void *opaque, target_phys_addr_t offset,
	uint64_t value, unsigned size)
	{
	uint32_t *regs = opaque;

	if (offset == 0xf00) {
	if (value == 1 \|\| value == 2) {
	qemu_system_reset_request();
	} else if (value == 3) {
	qemu_system_shutdown_request();
	}
	}

	regs[offset/4] = value;
	}

	static uint64_t hb_regs_read(void *opaque, target_phys_addr_t offset,
	unsigned size)
	{
	uint32_t *regs = opaque;
	uint32_t value = regs[offset/4];

	if ((offset == 0x100) \|\| (offset == 0x108) \|\| (offset == 0x10C)) {
	value \|= 0x30000000;
	}

	return value;
	}

	static const MemoryRegionOps hb_mem_ops = {
	.read = hb_regs_read,
	.write = hb_regs_write,
	.endianness = DEVICE_NATIVE_ENDIAN,
	};

	typedef struct {
	SysBusDevice busdev;
	MemoryRegion *iomem;
	uint32_t regs[NUM_REGS];
	} HighbankRegsState;

	static VMStateDescription vmstate_highbank_regs = {
	.name = "highbank-regs",
	.version_id = 0,
	.minimum_version_id = 0,
	.minimum_version_id_old = 0,
	.fields = (VMStateField[]) {
	VMSTATE_UINT32_ARRAY(regs, HighbankRegsState, NUM_REGS),
	VMSTATE_END_OF_LIST(),
	},
	};

	static void highbank_regs_reset(DeviceState *dev)
	{
	SysBusDevice *sys_dev = sysbus_from_qdev(dev);
	HighbankRegsState *s = FROM_SYSBUS(HighbankRegsState, sys_dev);

	s->regs[0x40] = 0x05F20121;
	s->regs[0x41] = 0x2;
	s->regs[0x42] = 0x05F30121;
	s->regs[0x43] = 0x05F40121;
	}

	static int highbank_regs_init(SysBusDevice *dev)
	{
	HighbankRegsState *s = FROM_SYSBUS(HighbankRegsState, dev);

	s->iomem = g_new(MemoryRegion, 1);
	memory_region_init_io(s->iomem, &hb_mem_ops, s->regs, "highbank_regs",
	0x1000);
	sysbus_init_mmio(dev, s->iomem);

	return 0;
	}

	static void highbank_regs_class_init(ObjectClass klass, void data)
	{
	SysBusDeviceClass *sbc = SYS_BUS_DEVICE_CLASS(klass);
	DeviceClass *dc = DEVICE_CLASS(klass);

	sbc->init = highbank_regs_init;
	dc->desc = "Calxeda Highbank registers";
	dc->vmsd = &vmstate_highbank_regs;
	dc->reset = highbank_regs_reset;
	}

	static TypeInfo highbank_regs_info = {
	.name = "highbank-regs",
	.parent = TYPE_SYS_BUS_DEVICE,
	.instance_size = sizeof(HighbankRegsState),
	.class_init = highbank_regs_class_init,
	};

	static void highbank_regs_register_types(void)
	{
	type_register_static(&highbank_regs_info);
	}

	type_init(highbank_regs_register_types)

	static struct arm_boot_info highbank_binfo;

	/* ram_size must be set to match the upper bound of memory in the
	* device tree (linux/arch/arm/boot/dts/highbank.dts), which is
	* normally 0xff900000 or -m 4089. When running this board on a
	* 32-bit host, set the reg value of memory to 0xf7ff00000 in the
	* device tree and pass -m 2047 to QEMU.
	*/
	static void highbank_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)
	{
	DeviceState *dev;
	SysBusDevice *busdev;
	qemu_irq *irqp;
	qemu_irq pic[128];
	int n;
	qemu_irq cpu_irq[4];
	MemoryRegion *sysram;
	MemoryRegion *dram;
	MemoryRegion *sysmem;
	char *sysboot_filename;

	if (!cpu_model) {
	cpu_model = "cortex-a9";
	}

	for (n = 0; n < smp_cpus; n++) {
	ARMCPU *cpu;
	cpu = cpu_arm_init(cpu_model);
	if (cpu == NULL) {
	fprintf(stderr, "Unable to find CPU definition\n");
	exit(1);
	}

	/* This will become a QOM property eventually */
	cpu->reset_cbar = GIC_BASE_ADDR;
	irqp = arm_pic_init_cpu(cpu);
	cpu_irq[n] = irqp[ARM_PIC_CPU_IRQ];
	}

	sysmem = get_system_memory();
	dram = g_new(MemoryRegion, 1);
	memory_region_init_ram(dram, "highbank.dram", ram_size);
	/* SDRAM at address zero. */
	memory_region_add_subregion(sysmem, 0, dram);

	sysram = g_new(MemoryRegion, 1);
	memory_region_init_ram(sysram, "highbank.sysram", 0x8000);
	memory_region_add_subregion(sysmem, 0xfff88000, sysram);
	if (bios_name != NULL) {
	sysboot_filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bios_name);
	if (sysboot_filename != NULL) {
	uint32_t filesize = get_image_size(sysboot_filename);
	if (load_image_targphys("sysram.bin", 0xfff88000, filesize) < 0) {
	hw_error("Unable to load %s\n", bios_name);
	}
	} else {
	hw_error("Unable to find %s\n", bios_name);
	}
	}

	dev = qdev_create(NULL, "a9mpcore_priv");
	qdev_prop_set_uint32(dev, "num-cpu", smp_cpus);
	qdev_prop_set_uint32(dev, "num-irq", NIRQ_GIC);
	qdev_init_nofail(dev);
	busdev = sysbus_from_qdev(dev);
	sysbus_mmio_map(busdev, 0, GIC_BASE_ADDR);
	for (n = 0; n < smp_cpus; n++) {
	sysbus_connect_irq(busdev, n, cpu_irq[n]);
	}

	for (n = 0; n < 128; n++) {
	pic[n] = qdev_get_gpio_in(dev, n);
	}

	dev = qdev_create(NULL, "l2x0");
	qdev_init_nofail(dev);
	busdev = sysbus_from_qdev(dev);
	sysbus_mmio_map(busdev, 0, 0xfff12000);

	dev = qdev_create(NULL, "sp804");
	qdev_prop_set_uint32(dev, "freq0", 150000000);
	qdev_prop_set_uint32(dev, "freq1", 150000000);
	qdev_init_nofail(dev);
	busdev = sysbus_from_qdev(dev);
	sysbus_mmio_map(busdev, 0, 0xfff34000);
	sysbus_connect_irq(busdev, 0, pic[18]);
	sysbus_create_simple("pl011", 0xfff36000, pic[20]);

	dev = qdev_create(NULL, "highbank-regs");
	qdev_init_nofail(dev);
	busdev = sysbus_from_qdev(dev);
	sysbus_mmio_map(busdev, 0, 0xfff3c000);

	sysbus_create_simple("pl061", 0xfff30000, pic[14]);
	sysbus_create_simple("pl061", 0xfff31000, pic[15]);
	sysbus_create_simple("pl061", 0xfff32000, pic[16]);
	sysbus_create_simple("pl061", 0xfff33000, pic[17]);
	sysbus_create_simple("pl031", 0xfff35000, pic[19]);
	sysbus_create_simple("pl022", 0xfff39000, pic[23]);

	sysbus_create_simple("sysbus-ahci", 0xffe08000, pic[83]);

	if (nd_table[0].used) {
	qemu_check_nic_model(&nd_table[0], "xgmac");
	dev = qdev_create(NULL, "xgmac");
	qdev_set_nic_properties(dev, &nd_table[0]);
	qdev_init_nofail(dev);
	sysbus_mmio_map(sysbus_from_qdev(dev), 0, 0xfff50000);
	sysbus_connect_irq(sysbus_from_qdev(dev), 0, pic[77]);
	sysbus_connect_irq(sysbus_from_qdev(dev), 1, pic[78]);
	sysbus_connect_irq(sysbus_from_qdev(dev), 2, pic[79]);

	qemu_check_nic_model(&nd_table[1], "xgmac");
	dev = qdev_create(NULL, "xgmac");
	qdev_set_nic_properties(dev, &nd_table[1]);
	qdev_init_nofail(dev);
	sysbus_mmio_map(sysbus_from_qdev(dev), 0, 0xfff51000);
	sysbus_connect_irq(sysbus_from_qdev(dev), 0, pic[80]);
	sysbus_connect_irq(sysbus_from_qdev(dev), 1, pic[81]);
	sysbus_connect_irq(sysbus_from_qdev(dev), 2, pic[82]);
	}

	highbank_binfo.ram_size = ram_size;
	highbank_binfo.kernel_filename = kernel_filename;
	highbank_binfo.kernel_cmdline = kernel_cmdline;
	highbank_binfo.initrd_filename = initrd_filename;
	/* highbank requires a dtb in order to boot, and the dtb will override
	* the board ID. The following value is ignored, so set it to -1 to be
	* clear that the value is meaningless.
	*/
	highbank_binfo.board_id = -1;
	highbank_binfo.nb_cpus = smp_cpus;
	highbank_binfo.loader_start = 0;
	highbank_binfo.write_secondary_boot = hb_write_secondary;
	highbank_binfo.secondary_cpu_reset_hook = hb_reset_secondary;
	arm_load_kernel(arm_env_get_cpu(first_cpu), &highbank_binfo);
	}

	static QEMUMachine highbank_machine = {
	.name = "highbank",
	.desc = "Calxeda Highbank (ECX-1000)",
	.init = highbank_init,
	.use_scsi = 1,
	.max_cpus = 4,
	};

	static void highbank_machine_init(void)
	{
	qemu_register_machine(&highbank_machine);
	}

	machine_init(highbank_machine_init);