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