pci_bus_maxdevs
if (args.device > pci_bus_maxdevs(alpha_pci_chipset, args.bus))
int pci_bus_maxdevs(pci_chipset_tag_t, int);
maxndevs = pci_bus_maxdevs(sio_pc, 0);
maxndevs = pci_bus_maxdevs(pc, 0);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
maxndevs = pci_bus_maxdevs(pc, 0);
for (dev = 0; dev < pci_bus_maxdevs(pc,0); dev++) {
maxndevs = pci_bus_maxdevs(pc, 0);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
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 device, maxdevs = pci_bus_maxdevs(pc, 0);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
int pci_bus_maxdevs(pci_chipset_tag_t, int);
maxdevs = pci_bus_maxdevs(pc, bus);
pa->pa_tag = pci_make_tag(0, PUC_CNBUS, pci_bus_maxdevs(NULL, 0) - 1,
const int maxdev = pci_bus_maxdevs(NULL, 0);
for (device = 0; device < pci_bus_maxdevs(pc, 0); device++) {
if (24 < pci_bus_maxdevs(pc, 0)) {
maxdevs = pci_bus_maxdevs(pc, bus);
maxdevs = pci_bus_maxdevs(pa->pa_pc, 0);
sc->sc_maxndevs = pci_bus_maxdevs(pba->pba_pc, pba->pba_bus);
n = MIN(pci_bus_maxdevs(pc, bus), maxdevs);