Archipelago » qemu

/* OPB Interrupt Controller.  */

qemu_irq *microblaze_pic_init_cpu(CPUState *env);

static inline DeviceState *

xilinx_intc_create(a_target_phys_addr base, qemu_irq irq, int kind_of_intr)

{

    DeviceState *dev;

    dev = qdev_create(NULL, "xilinx,intc");

    qdev_prop_set_uint32(dev, "kind-of-intr", kind_of_intr);

    qdev_init(dev);

    sysbus_mmio_map(sysbus_from_qdev(dev), 0, base);

    sysbus_connect_irq(sysbus_from_qdev(dev), 0, irq);

    return dev;

}

/* OPB Timer/Counter.  */

static inline DeviceState *

xilinx_timer_create(a_target_phys_addr base, qemu_irq irq, int nr, int freq)

{

    DeviceState *dev;

    dev = qdev_create(NULL, "xilinx,timer");

    qdev_prop_set_uint32(dev, "nr-timers", nr);

    qdev_prop_set_uint32(dev, "frequency", freq);

    qdev_init(dev);

    sysbus_mmio_map(sysbus_from_qdev(dev), 0, base);

    sysbus_connect_irq(sysbus_from_qdev(dev), 0, irq);

    return dev;

}

/* XPS Ethernet Lite MAC.  */

static inline DeviceState *

xilinx_ethlite_create(NICInfo *nd, a_target_phys_addr base, qemu_irq irq,

                      int txpingpong, int rxpingpong)

{

    DeviceState *dev;

    qemu_check_nic_model(nd, "xilinx-ethlite");

    dev = qdev_create(NULL, "xilinx,ethlite");

    dev->nd = nd;

    qdev_prop_set_uint32(dev, "txpingpong", txpingpong);

    qdev_prop_set_uint32(dev, "rxpingpong", rxpingpong);

    qdev_init(dev);

    sysbus_mmio_map(sysbus_from_qdev(dev), 0, base);

    sysbus_connect_irq(sysbus_from_qdev(dev), 0, irq);

    return dev;

}