prep_pci_bus_maxdevs
int prep_pci_bus_maxdevs(void *, int);
pc->pc_bus_maxdevs = prep_pci_bus_maxdevs;