Lines Matching refs:uint64_t

45 static char *us_time_to_str(char *dest, uint64_t time)  in us_time_to_str()
67 uint64_t hw_timer_timer;
69 uint64_t hw_timer_tick_timer;
70 uint64_t hw_timer_awake_timer;
72 static uint64_t tick_p; /* Period of the ticker */
88 static uint64_t boot_time;
116 static uint64_t last_radj_rtime;
118 static uint64_t last_radj_stime;
120 extern uint64_t posix_get_hw_cycle(void);
141 uint64_t get_host_us_time(void)  in get_host_us_time()
146 	return (uint64_t)tv.tv_sec * 1e6 + tv.tv_nsec / 1000;  in get_host_us_time()
162 		uint64_t realhosttime;  in hwtimer_init()
165 		realhosttime = (uint64_t)tv.tv_sec * 1e6 + tv.tv_nsec / 1000;  in hwtimer_init()
179 void hwtimer_enable(uint64_t period)  in hwtimer_enable()
190 		uint64_t expected_rt = (hw_timer_tick_timer - last_radj_stime)  in hwtimer_tick_timer_reached()
193 		uint64_t real_time = get_host_us_time();  in hwtimer_tick_timer_reached()
239 	uint64_t Now = hw_timer_timer;  in hwtimer_timer_reached()
258 void hwtimer_wake_in_time(uint64_t time)  in hwtimer_wake_in_time()
322 	uint64_t current_stime = hwm_get_time();  in hwtimer_adjust_rt_ratio()
371 void hwtimer_get_pseudohost_rtc_time(uint32_t *nsec, uint64_t *sec)  in hwtimer_get_pseudohost_rtc_time()
400 	uint64_t rt_us = (uint64_t)tv.tv_sec * 1000000ULL + tv.tv_nsec / 1000;  in hwtimer_get_pseudohost_rtc_time()