Searched refs:TIMER_TIME_HIGH (Results 1 – 3 of 3) sorted by relevance
21 #define TIMER_TIME_HIGH 0x04 macro
122 time_high = gf_ioread32(base + TIMER_TIME_HIGH); in goldfish_rtc_read_time()142 gf_iowrite32((now64 >> 32), base + TIMER_TIME_HIGH); in goldfish_rtc_set_time()
41 time_high = gf_ioread32(base + TIMER_TIME_HIGH); in goldfish_timer_read()