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