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