elroy_rs4
elroy_rs2, elroy_rs4, elroy_rs8,
uint32_t elroy_rs4(void *, bus_space_handle_t, bus_size_t);