Symbol: tsp_bus_maxdevs
sys/arch/alpha/pci/tsp_pci.c
55
int tsp_bus_maxdevs(void *, int);
sys/arch/alpha/pci/tsp_pci.c
68
pc->pc_bus_maxdevs = tsp_bus_maxdevs;