dino_ws8
dino_ws2, dino_ws4, dino_ws8,
void dino_ws8(void *, bus_space_handle_t, bus_size_t, uint64_t);