Searched refs:hpet_counter_get (Results 1 – 1 of 1) sorted by relevance
93 static inline uint64_t hpet_counter_get(void) in hpet_counter_get() function261 uint64_t now = hpet_counter_get(); in hpet_timer_comparator_set_safe()270 now = hpet_counter_get(); in hpet_timer_comparator_set_safe()282 uint64_t now = hpet_counter_get(); in hpet_isr()385 uint64_t now = hpet_counter_get(); in sys_clock_elapsed()396 return (uint32_t)hpet_counter_get(); in sys_clock_cycle_get_32()402 return hpet_counter_get(); in sys_clock_cycle_get_64()459 last_tick = hpet_counter_get() / cyc_per_tick; in sys_clock_driver_init()
