Symbol: dino_maxdevs
sys/arch/hppa/dev/dino.c
148
int dino_maxdevs(void *, int);
sys/arch/hppa/dev/dino.c
1706
.pc_bus_maxdevs = dino_maxdevs,