static void piix3_update_irq_levels(PIIX3State *piix3)

{

    int pirq;



    piix3->pic_levels = 0;

    for (pirq = 0; pirq < PIIX_NUM_PIRQS; pirq++) {

        piix3_set_irq_level(piix3, pirq,

                            pci_bus_get_irq_level(piix3->dev.bus, pirq));

    }

}

static void piix3_update_irq_levels(PIIX3State *piix3)

{

    int pirq;



    piix3->pic_levels = 0;

    for (pirq = 0; pirq < PIIX_NUM_PIRQS; pirq++) {

        piix3_set_irq_level(piix3, pirq,

                            pci_bus_get_irq_level(piix3->dev.bus, pirq));

    }

}

static void FUNC_0(PIIX3State *VAR_0)

{

    int VAR_1;



    VAR_0->pic_levels = 0;

    for (VAR_1 = 0; VAR_1 < PIIX_NUM_PIRQS; VAR_1++) {

        piix3_set_irq_level(VAR_0, VAR_1,

                            pci_bus_get_irq_level(VAR_0->dev.bus, VAR_1));

    }

}

static void FUNC_0(PIIX3State *VAR_0)
{ int VAR_1; VAR_0->pic_levels = 0; for (VAR_1 = 0; VAR_1 < PIIX_NUM_PIRQS; VAR_1++) { piix3_set_irq_level(VAR_0, VAR_1,
pci_bus_get_irq_level(VAR_0->dev.bus, VAR_1)); } }