Home
last modified time | relevance | path

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

/devicemodel/hw/platform/
A Dpit.c91 int timer_idx; /* only used by counter 0 */ member
126 return vpit_timer_arg[c->timer_idx].active; in pit_cntr0_timer_running()
256 vpit_timer_arg[c->timer_idx].active = false; in pit_timer_stop_cntr0()
266 if (++c->timer_idx == nitems(vpit_timer_arg)) in pit_timer_stop_cntr0()
267 c->timer_idx = 0; in pit_timer_stop_cntr0()
270 pr_dbg("vpit timer %d is still active", c->timer_idx); in pit_timer_stop_cntr0()
271 vpit_timer_arg[c->timer_idx].active = false; in pit_timer_stop_cntr0()
329 sigevt.sigev_value.sival_ptr = &vpit_timer_arg[c->timer_idx]; in pit_timer_start_cntr0()
336 vpit_timer_arg[c->timer_idx].active = true; in pit_timer_start_cntr0()

Completed in 11 milliseconds