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);