GOLDFISH_RTC_TIME_LOW
const uint64_t lo = GOLDFISH_RTC_READ(sc, GOLDFISH_RTC_TIME_LOW);
GOLDFISH_RTC_WRITE(sc, GOLDFISH_RTC_TIME_LOW, lo);