Searched refs:sedi_hpet_get_main_counter (Results 1 – 2 of 2) sorted by relevance
136 now = sedi_hpet_get_main_counter(); in sedi_hpet_set_comparator()156 uint64_t sedi_hpet_get_main_counter(void) in sedi_hpet_get_main_counter() function274 sedi_hpet_get_main_counter() + bsp_timers[timer_id].timeout; in sedi_hpet_timer_int_handler()327 bsp_timers[timer_id].expires = sedi_hpet_get_main_counter() + bsp_timers[timer_id].timeout; in sedi_hpet_start_timer()
120 uint64_t sedi_hpet_get_main_counter(void);
