elroy_r4
elroy_w4(v, h1, o1, elroy_r4(v, h2, o2));
elroy_r1, elroy_r2, elroy_r4, elroy_r8,
uint32_t elroy_r4(void *, bus_space_handle_t, bus_size_t);