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