dino_barrier
dino_barrier, dino_vaddr,
void dino_barrier(void *, bus_space_handle_t, bus_size_t, bus_size_t, int);