Lines Matching refs:timer_id
193 void set_gptimer_pwidth (int timer_id, int width);
194 int get_gptimer_pwidth (int timer_id);
195 void set_gptimer_period (int timer_id, int period);
196 int get_gptimer_period (int timer_id);
197 int get_gptimer_count (int timer_id);
198 short get_gptimer_intr (int timer_id);
199 void set_gptimer_config (int timer_id, short config);
200 short get_gptimer_config (int timer_id);
201 void set_gptimer_pulse_hi (int timer_id);
202 void clear_gptimer_pulse_hi(int timer_id);