Symbol: GOLDFISH_RTC_TIME_HIGH
sys/dev/goldfish/goldfish_rtc.c
133
high = bus_read_4(sc->res, GOLDFISH_RTC_TIME_HIGH);
sys/dev/goldfish/goldfish_rtc.c
159
bus_write_4(sc->res, GOLDFISH_RTC_TIME_HIGH, nsec >> 32);