Searched refs:GOLDFISH_RTC_TIME_HIGH (Results 1 – 1 of 1) sorted by relevance
55 #define GOLDFISH_RTC_TIME_HIGH 0x04 macro133 high = bus_read_4(sc->res, GOLDFISH_RTC_TIME_HIGH); in goldfish_rtc_gettime()159 bus_write_4(sc->res, GOLDFISH_RTC_TIME_HIGH, nsec >> 32); in goldfish_rtc_settime()