int pci_vga_init(PCIBus *bus,

                 unsigned long vga_bios_offset, int vga_bios_size)

{

    PCIDevice *dev;



    dev = pci_create(bus, -1, "VGA");

    qdev_prop_set_uint32(&dev->qdev, "bios-offset", vga_bios_offset);

    qdev_prop_set_uint32(&dev->qdev, "bios-size", vga_bios_offset);

    qdev_init(&dev->qdev);



    return 0;

}

int pci_vga_init(PCIBus *bus,

                 unsigned long vga_bios_offset, int vga_bios_size)

{

    PCIDevice *dev;



    dev = pci_create(bus, -1, "VGA");

    qdev_prop_set_uint32(&dev->qdev, "bios-offset", vga_bios_offset);

    qdev_prop_set_uint32(&dev->qdev, "bios-size", vga_bios_offset);

    qdev_init(&dev->qdev);



    return 0;

}

    qdev_init(&dev->qdev);     qdev_init(&dev->qdev);     qdev_init(&dev->qdev);     qdev_init(&dev->qdev);     qdev_init(&dev->qdev);     qdev_init(&dev->qdev);     qdev_init(&dev->qdev);     qdev_init(&dev->qdev);
int FUNC_0(PCIBus *VAR_0,

                 unsigned long VAR_1, int VAR_2)

{

    PCIDevice *dev;



    dev = pci_create(VAR_0, -1, "VGA");

    qdev_prop_set_uint32(&dev->qdev, "bios-offset", VAR_1);

    qdev_prop_set_uint32(&dev->qdev, "bios-size", VAR_1);

    qdev_init(&dev->qdev);



    return 0;

}

int FUNC_0(PCIBus *VAR_0,
unsigned long VAR_1, int VAR_2)
{ PCIDevice *dev; dev = pci_create(VAR_0, -1, "VGA"); qdev_prop_set_uint32(&dev->qdev, "bios-offset", VAR_1); qdev_prop_set_uint32(&dev->qdev, "bios-size", VAR_1); qdev_init(&dev->qdev); return 0; }