GOLDFISH_RTC_TIME_LOW
low = bus_read_4(sc->res, GOLDFISH_RTC_TIME_LOW);
bus_write_4(sc->res, GOLDFISH_RTC_TIME_LOW, nsec);