Searched refs:time_high (Results 1 – 9 of 9) sorted by relevance
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()
88 WRITE_ONCE(fbn->time_high, hi - 16); in fbnic_ptp_refresh_time()251 fbn->time_high = 0; in fbnic_ptp_reset()
49 u32 time_high; member
76 high = READ_ONCE(fbn->time_high); in fbnic_ts40_to_ns()
238 unsigned char time_high; /* slot time high(0-2) and max. retries(4-7) */ member
427 cfg_cmd->time_high = 0xf2; in init586()
169 uint32_t time_high : 12; member
Completed in 20 milliseconds