Searched refs:sedi_hpet_t (Results 1 – 2 of 2) sorted by relevance
32 } sedi_hpet_t; typedef108 int sedi_hpet_set_comparator(IN sedi_hpet_t timer_id, IN uint64_t value);128 void sedi_hpet_enable_interrupt(IN sedi_hpet_t timer_id);134 void sedi_hpet_disable_interrupt(IN sedi_hpet_t timer_id);152 void sedi_hpet_timer_int_handler(IN sedi_hpet_t timer_id);172 int32_t sedi_hpet_config_timer(IN sedi_hpet_t timer_id,182 int32_t sedi_hpet_start_timer(IN sedi_hpet_t timer_id);189 int32_t sedi_hpet_kill_timer(IN sedi_hpet_t timer_id);
100 static int sedi_hpet_update_comparator(IN sedi_hpet_t timer_id, IN uint64_t value) in sedi_hpet_update_comparator()119 int sedi_hpet_set_comparator(IN sedi_hpet_t timer_id, IN uint64_t value) in sedi_hpet_set_comparator()175 void sedi_hpet_enable_interrupt(IN sedi_hpet_t timer_id) in sedi_hpet_enable_interrupt()195 void sedi_hpet_disable_interrupt(IN sedi_hpet_t timer_id) in sedi_hpet_disable_interrupt()267 void sedi_hpet_timer_int_handler(IN sedi_hpet_t timer_id) in sedi_hpet_timer_int_handler()289 int32_t sedi_hpet_config_timer(IN sedi_hpet_t timer_id, IN uint64_t microseconds, in sedi_hpet_config_timer()313 int32_t sedi_hpet_kill_timer(IN sedi_hpet_t timer_id) in sedi_hpet_kill_timer()329 int32_t sedi_hpet_start_timer(IN sedi_hpet_t timer_id) in sedi_hpet_start_timer()
