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