dino_r8
dino_w8(v, h1, o1, dino_r8(v, h2, o2));
dino_r1, dino_r2, dino_r4, dino_r8,
u_int64_t dino_r8(void *, bus_space_handle_t, bus_size_t);