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