35     int bus_num;  member
125     return s->bus_num;  in pci_bus_num()
577     int config_addr, bus_num;  in pci_data_write()  local
583     bus_num = (addr >> 16) & 0xff;  in pci_data_write()
584     while (s && s->bus_num != bus_num)  in pci_data_write()
603     int config_addr, bus_num;  in pci_data_read()  local
606     bus_num = (addr >> 16) & 0xff;  in pci_data_read()
607     while (s && s->bus_num != bus_num)  in pci_data_read()
729                    d->bus->bus_num, d->devfn >> 3, d->devfn & 7);  in pci_info_device()
772 void pci_for_each_device(int bus_num, void (*fn)(PCIDevice *d))  in pci_for_each_device()  argument
778     while (bus && bus->bus_num != bus_num)  in pci_for_each_device()
853             s->bus->bus_num = val & 0xff;  in pci_bridge_write_config()
855             s->bus->bus_num = (val >> 8) & 0xff;  in pci_bridge_write_config()
857         printf ("pci-bridge: %s: Assigned bus %d\n", d->name, s->bus->bus_num);  in pci_bridge_write_config()
863 PCIBus *pci_find_bus(int bus_num)  in pci_find_bus()  argument
867     while (bus && bus->bus_num != bus_num)  in pci_find_bus()
873 PCIDevice *pci_find_device(int bus_num, int slot, int function)  in pci_find_device()  argument
875     PCIBus *bus = pci_find_bus(bus_num);  in pci_find_device()