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