Lines Matching refs:uint64_t
76 #define CYCLES_MAX_1 ((uint64_t)INT32_MAX * (uint64_t)CYC_PER_TICK)
77 #define CYCLES_MAX_2 ((uint64_t)CYCLE_DIFF_MAX)
91 static uint64_t last_cycle;
92 static uint64_t last_tick;
96 static ALWAYS_INLINE uint64_t rdtsc(void) in rdtsc()
101 return lo + (((uint64_t)hi) << 32); in rdtsc()
104 static inline void wrmsr(int32_t msr, uint64_t val) in wrmsr()
112 static void set_trigger(uint64_t deadline) in set_trigger()
118 uint64_t curr_cycle = rdtsc(); in set_trigger()
119 uint64_t delta_cycles = deadline - MIN(deadline, curr_cycle); in set_trigger()
120 uint64_t icr = (delta_cycles * APIC_TIMER_TSC_M) / APIC_TIMER_TSC_N; in set_trigger()
133 uint64_t curr_cycle = rdtsc(); in isr()
134 uint64_t delta_cycles = curr_cycle - last_cycle; in isr()
142 uint64_t next_cycle = last_cycle + CYC_PER_TICK; in isr()
160 uint64_t next_cycle; in sys_clock_set_timeout()
194 uint64_t curr_cycle = rdtsc(); in sys_clock_elapsed()
195 uint64_t delta_cycles = curr_cycle - last_cycle; in sys_clock_elapsed()
208 uint64_t sys_clock_cycle_get_64(void) in sys_clock_cycle_get_64()