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