TIMER_TIME_HIGH 131 drivers/rtc/rtc-goldfish.c time_high = readl(base + TIMER_TIME_HIGH); TIMER_TIME_HIGH 151 drivers/rtc/rtc-goldfish.c writel((now64 >> 32), base + TIMER_TIME_HIGH);