dino_w4
dino_w4(v, h1, o1, dino_r4(v, h2, o2));
dino_w1, dino_w2, dino_w4, dino_w8,
void dino_w4(void *, bus_space_handle_t, bus_size_t, u_int32_t);