Symbol: GOLDFISH_RTC_TIME_HIGH
sys/dev/goldfish/gfrtc.c
136
const uint64_t hi = GOLDFISH_RTC_READ(sc, GOLDFISH_RTC_TIME_HIGH);
sys/dev/goldfish/gfrtc.c
84
GOLDFISH_RTC_WRITE(sc, GOLDFISH_RTC_TIME_HIGH, hi);