void pci_bus_reset(PCIBus *bus)

{

    int i;



    for (i = 0; i < bus->nirq; i++) {

        bus->irq_count[i] = 0;

    }

    for (i = 0; i < ARRAY_SIZE(bus->devices); ++i) {

        if (bus->devices[i]) {

            pci_device_reset(bus->devices[i]);

        }

    }

}

void pci_bus_reset(PCIBus *bus)

{

    int i;



    for (i = 0; i < bus->nirq; i++) {

        bus->irq_count[i] = 0;

    }

    for (i = 0; i < ARRAY_SIZE(bus->devices); ++i) {

        if (bus->devices[i]) {

            pci_device_reset(bus->devices[i]);

        }

    }

}

void FUNC_0(PCIBus *VAR_0)

{

    int VAR_1;



    for (VAR_1 = 0; VAR_1 < VAR_0->nirq; VAR_1++) {

        VAR_0->irq_count[VAR_1] = 0;

    }

    for (VAR_1 = 0; VAR_1 < ARRAY_SIZE(VAR_0->devices); ++VAR_1) {

        if (VAR_0->devices[VAR_1]) {

            pci_device_reset(VAR_0->devices[VAR_1]);

        }

    }

}

void FUNC_0(PCIBus *VAR_0)
{ int VAR_1; for (VAR_1 = 0; VAR_1 < VAR_0->nirq; VAR_1++) { VAR_0->irq_count[VAR_1] = 0; } for (VAR_1 = 0; VAR_1 < ARRAY_SIZE(VAR_0->devices); ++VAR_1) { if (VAR_0->devices[VAR_1]) { pci_device_reset(VAR_0->devices[VAR_1]); } } }