PCI_MAX_DEVICE
struct pci_device pb_device[PCI_MAX_DEVICE * PCI_MAX_FUNC];
for (devno = 0; devno < PCI_MAX_DEVICE; devno++) {
KASSERT(devno < PCI_MAX_DEVICE);