261 	uint64_t now = hpet_counter_get();  in hpet_timer_comparator_set_safe()  local
263 	if (unlikely((int64_t)(next - now) <= 0)) {  in hpet_timer_comparator_set_safe()
267 			next = now + bump;  in hpet_timer_comparator_set_safe()
270 			now = hpet_counter_get();  in hpet_timer_comparator_set_safe()
271 		} while ((int64_t)(next - now) <= 0);  in hpet_timer_comparator_set_safe()
282 	uint64_t now = hpet_counter_get();  in hpet_isr()  local
300 		int64_t diff = (int64_t)(now - last_count);  in hpet_isr()
303 			now = last_count;  in hpet_isr()
306 	uint32_t dticks = (uint32_t)((now - last_count) / cyc_per_tick);  in hpet_isr()
385 	uint64_t now = hpet_counter_get();  in sys_clock_elapsed()  local
386 	uint32_t ret = (uint32_t)((now - last_count) / cyc_per_tick);  in sys_clock_elapsed()