Searched refs:TIMER_ALARM_HIGH (Results 1 – 3 of 3) sorted by relevance
53 gf_iowrite32(0, base + TIMER_ALARM_HIGH); in goldfish_timer_set_oneshot()81 gf_iowrite32(upper_32_bits(now), base + TIMER_ALARM_HIGH); in goldfish_timer_next_event()
23 #define TIMER_ALARM_HIGH 0x0c macro
35 rtc_alarm_high = gf_ioread32(base + TIMER_ALARM_HIGH); in goldfish_rtc_read_alarm()64 gf_iowrite32((rtc_alarm64 >> 32), base + TIMER_ALARM_HIGH); in goldfish_rtc_set_alarm()