elroy_w4
elroy_w4(v, h1, o1, elroy_r4(v, h2, o2));
elroy_w1, elroy_w2, elroy_w4, elroy_w8,
void elroy_w4(void *v, bus_space_handle_t h, bus_size_t o,