Searched refs:timer_id (Results 1 – 2 of 2) sorted by relevance
100 static int sedi_hpet_update_comparator(IN sedi_hpet_t timer_id, IN uint64_t value) in sedi_hpet_update_comparator() argument102 switch (timer_id) { 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() argument130 if ((timer_id != HPET_0) && (value >> 32)) { in sedi_hpet_set_comparator()138 if (timer_id == HPET_0) { in sedi_hpet_set_comparator()147 return sedi_hpet_update_comparator(timer_id, _value); in sedi_hpet_set_comparator()169 void sedi_hpet_enable_interrupt(IN sedi_hpet_t timer_id) in sedi_hpet_enable_interrupt() argument171 switch (timer_id) { in sedi_hpet_enable_interrupt()189 void sedi_hpet_disable_interrupt(IN sedi_hpet_t timer_id) in sedi_hpet_disable_interrupt() argument191 switch (timer_id) { in sedi_hpet_disable_interrupt()[all …]
108 int sedi_hpet_set_comparator(IN sedi_hpet_t timer_id, IN uint64_t value);126 void sedi_hpet_enable_interrupt(IN sedi_hpet_t timer_id);132 void sedi_hpet_disable_interrupt(IN sedi_hpet_t timer_id);150 void sedi_hpet_timer_int_handler(IN sedi_hpet_t timer_id);170 int32_t sedi_hpet_config_timer(IN sedi_hpet_t timer_id,180 int32_t sedi_hpet_start_timer(IN sedi_hpet_t timer_id);187 int32_t sedi_hpet_kill_timer(IN sedi_hpet_t timer_id);
