elroy_w8
elroy_w8(v, h1, o1, elroy_r8(v, h2, o2));
elroy_w1, elroy_w2, elroy_w4, elroy_w8,
void elroy_w8(void *, bus_space_handle_t, bus_size_t, uint64_t);