Home
last modified time | relevance | path

Searched refs:sedi_hpet_t (Results 1 – 2 of 2) sorted by relevance

/hal_intel-latest/bsp_sedi/include/driver/
Dsedi_driver_hpet.h32 } sedi_hpet_t; typedef
108 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);
/hal_intel-latest/bsp_sedi/drivers/hpet/
Dsedi_hpet.c100 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()