Searched refs:time_high (Results 1 – 6 of 6) 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()
124 u64 time_high; in goldfish_rtc_read_time() local132 time_high = readl(base + TIMER_TIME_HIGH); in goldfish_rtc_read_time()133 time = (time_high << 32) | time_low; in goldfish_rtc_read_time()
237 unsigned char time_high; /* slot time high(0-2) and max. retries(4-7) */ member
427 cfg_cmd->time_high = 0xf2; in init586()
131 uint32_t time_high : 12; member
1239 __le16 time_high; member