Searched refs:time_high (Results 1 – 8 of 8) 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()
33 u32 time_low, time_high; in goldfish_timer_read() local41 time_high = gf_ioread32(base + TIMER_TIME_HIGH); in goldfish_timer_read()43 ticks = ((u64)time_high << 32) | time_low; in goldfish_timer_read()
114 u64 time_high; in goldfish_rtc_read_time() local122 time_high = gf_ioread32(base + TIMER_TIME_HIGH); in goldfish_rtc_read_time()123 time = (time_high << 32) | time_low; in goldfish_rtc_read_time()
175 u32 time_high; in get_gate_state() local178 time_high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in get_gate_state()186 time_high_before = time_high; in get_gate_state()187 time_high = ioread32(adapter->addr + ECM_SYSTEM_TIME_HIGH); in get_gate_state()188 } while ((time_high != time_high_before) || in get_gate_state()191 *system_time = (((u64)time_high) << 32) | ((u64)time_low); in get_gate_state()
238 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
1230 __le16 time_high; member