static void piix3_write_config(PCIDevice *dev,

                               uint32_t address, uint32_t val, int len)

{

    pci_default_write_config(dev, address, val, len);

    if (ranges_overlap(address, len, PIIX_PIRQC, 4)) {

        PIIX3State *piix3 = PIIX3_PCI_DEVICE(dev);

        int pic_irq;



        pci_bus_fire_intx_routing_notifier(piix3->dev.bus);

        piix3_update_irq_levels(piix3);

        for (pic_irq = 0; pic_irq < PIIX_NUM_PIC_IRQS; pic_irq++) {

            piix3_set_irq_pic(piix3, pic_irq);

        }

    }

}

static void piix3_write_config(PCIDevice *dev,

                               uint32_t address, uint32_t val, int len)

{

    pci_default_write_config(dev, address, val, len);

    if (ranges_overlap(address, len, PIIX_PIRQC, 4)) {

        PIIX3State *piix3 = PIIX3_PCI_DEVICE(dev);

        int pic_irq;



        pci_bus_fire_intx_routing_notifier(piix3->dev.bus);

        piix3_update_irq_levels(piix3);

        for (pic_irq = 0; pic_irq < PIIX_NUM_PIC_IRQS; pic_irq++) {

            piix3_set_irq_pic(piix3, pic_irq);

        }

    }

}

static void FUNC_0(PCIDevice *VAR_0,

                               uint32_t VAR_1, uint32_t VAR_2, int VAR_3)

{

    pci_default_write_config(VAR_0, VAR_1, VAR_2, VAR_3);

    if (ranges_overlap(VAR_1, VAR_3, PIIX_PIRQC, 4)) {

        PIIX3State *piix3 = PIIX3_PCI_DEVICE(VAR_0);

        int VAR_4;



        pci_bus_fire_intx_routing_notifier(piix3->VAR_0.bus);

        piix3_update_irq_levels(piix3);

        for (VAR_4 = 0; VAR_4 < PIIX_NUM_PIC_IRQS; VAR_4++) {

            piix3_set_irq_pic(piix3, VAR_4);

        }

    }

}

static void FUNC_0(PCIDevice *VAR_0,
uint32_t VAR_1, uint32_t VAR_2, int VAR_3)
{ pci_default_write_config(VAR_0, VAR_1, VAR_2, VAR_3); if (ranges_overlap(VAR_1, VAR_3, PIIX_PIRQC, 4)) { PIIX3State *piix3 = PIIX3_PCI_DEVICE(VAR_0); int VAR_4; pci_bus_fire_intx_routing_notifier(piix3->VAR_0.bus); piix3_update_irq_levels(piix3); for (VAR_4 = 0; VAR_4 < PIIX_NUM_PIC_IRQS; VAR_4++) { piix3_set_irq_pic(piix3, VAR_4); } } }