footbridge_pci_bus_maxdevs
int footbridge_pci_bus_maxdevs(void *, int);
.pc_bus_maxdevs = footbridge_pci_bus_maxdevs,