static int piix3_pre_save(void *opaque)

{

    int i;

    PIIX3State *piix3 = opaque;



    for (i = 0; i < ARRAY_SIZE(piix3->pci_irq_levels_vmstate); i++) {

        piix3->pci_irq_levels_vmstate[i] =

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

    }



    return 0;

}

static int piix3_pre_save(void *opaque)

{

    int i;

    PIIX3State *piix3 = opaque;



    for (i = 0; i < ARRAY_SIZE(piix3->pci_irq_levels_vmstate); i++) {

        piix3->pci_irq_levels_vmstate[i] =

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

    }



    return 0;

}

static int FUNC_0(void *VAR_0)

{

    int VAR_1;

    PIIX3State *piix3 = VAR_0;



    for (VAR_1 = 0; VAR_1 < ARRAY_SIZE(piix3->pci_irq_levels_vmstate); VAR_1++) {

        piix3->pci_irq_levels_vmstate[VAR_1] =

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

    }



    return 0;

}

static int FUNC_0(void *VAR_0)
{ int VAR_1; PIIX3State *piix3 = VAR_0; for (VAR_1 = 0; VAR_1 < ARRAY_SIZE(piix3->pci_irq_levels_vmstate); VAR_1++) { piix3->pci_irq_levels_vmstate[VAR_1] =
pci_bus_get_irq_level(piix3->dev.bus, VAR_1); } return 0; }