pci_bus_maxdevs
maxndevs = pci_bus_maxdevs(sio_pc, 0);
maxndevs = pci_bus_maxdevs(sio_pc, 0);
int device, maxdevs = pci_bus_maxdevs(pc, 0);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int device, maxdevs = pci_bus_maxdevs(pc, 0);
maxdevs = pci_bus_maxdevs(pc, bus);
maxdevs = pci_bus_maxdevs(pc, bus);
int device, maxdevs = pci_bus_maxdevs(pc, 0);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
maxdevs = pci_bus_maxdevs(pc, bus);
for (dev = pci_bus_maxdevs(pc, 0); dev >= 0; dev--) {
for (dev = pci_bus_maxdevs(pc, 0); dev >= 0; dev--) {
for (dev = pci_bus_maxdevs(pc, 0); dev >= 0; dev--) {
for (dev = pci_bus_maxdevs(pc, 0); dev >= 0; dev--) {
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
maxdevs = pci_bus_maxdevs(pa->pa_pc, 0);
sel->pc_dev >= pci_bus_maxdevs(pci->sc_pc, pci->sc_bus) ||
sc->sc_maxndevs = pci_bus_maxdevs(pba->pba_pc, pba->pba_bus);
for (dev = 0; dev < pci_bus_maxdevs(pc, bus); dev++) {