elroy_ws4
elroy_ws2, elroy_ws4, elroy_ws8,
void elroy_ws4(void *, bus_space_handle_t, bus_size_t, uint32_t);