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