void pci_bus_get_w64_range(PCIBus *bus, Range *range)

{

    range->begin = range->end = 0;

    pci_for_each_device_under_bus(bus, pci_dev_get_w64, range);

}

void pci_bus_get_w64_range(PCIBus *bus, Range *range)

{

    range->begin = range->end = 0;

    pci_for_each_device_under_bus(bus, pci_dev_get_w64, range);

}

void FUNC_0(PCIBus *VAR_0, Range *VAR_1)

{

    VAR_1->begin = VAR_1->end = 0;

    pci_for_each_device_under_bus(VAR_0, pci_dev_get_w64, VAR_1);

}

void FUNC_0(PCIBus *VAR_0, Range *VAR_1)
{ VAR_1->begin = VAR_1->end = 0; pci_for_each_device_under_bus(VAR_0, pci_dev_get_w64, VAR_1); }