BCE_REG_TIMESTAMP
bus_read_4(sc->sc_bar4, BCE_REG_TIMESTAMP + 8);
bus_write_4(sc->sc_bar4, BCE_REG_TIMESTAMP + 8, (uint32_t)ns);
bus_write_4(sc->sc_bar4, BCE_REG_TIMESTAMP, (uint32_t)(ns >> 32));
bus_read_4(sc->sc_bar4, BCE_REG_TIMESTAMP);
bus_write_4(sc->sc_bar4, BCE_REG_TIMESTAMP + 8,
bus_write_4(sc->sc_bar4, BCE_REG_TIMESTAMP, 0xFFFFFFFF);
bus_write_4(sc->sc_bar4, BCE_REG_TIMESTAMP + 8, 0xFFFFFFFE);
bus_write_4(sc->sc_bar4, BCE_REG_TIMESTAMP, 0xFFFFFFFF);