Searched refs:time_high (Results 1 – 1 of 1) sorted by relevance
21 u32 time_high; in read_rtc_time() local29 time_high = readl(base + GOLDFISH_TIMER_HIGH); in read_rtc_time()31 return ((u64)time_high << 32) | time_low; in read_rtc_time()