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