TIMER_ALARM_HIGH   45 drivers/rtc/rtc-goldfish.c 	rtc_alarm_high = readl(base + TIMER_ALARM_HIGH);
TIMER_ALARM_HIGH   74 drivers/rtc/rtc-goldfish.c 		writel((rtc_alarm64 >> 32), base + TIMER_ALARM_HIGH);