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