Searched refs:TIMER_TIME_HIGH (Results 1 – 1 of 1) sorted by relevance
24 #define TIMER_TIME_HIGH 0x04 /* get high bits of time at last */ macro146 time_high = readl(base + TIMER_TIME_HIGH); in goldfish_rtc_read_time()170 writel((now64 >> 32), base + TIMER_TIME_HIGH); in goldfish_rtc_set_time()