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