i128_sync
void i128_sync(bus_space_tag_t, bus_space_handle_t);
i128_sync(sc->sc_bustag, sc->sc_i128_regh);