Symbol: dino_barrier
sys/arch/hppa/dev/dino.c
1559
dino_barrier, dino_vaddr, dino_mmap,
sys/arch/hppa/dev/dino.c
172
void dino_barrier(void *, bus_space_handle_t, bus_size_t, bus_size_t, int);