Lines Matching refs:repl_timer
189 struct timer *repl_timer; /* replenishment timer */ member
557 set_timer(prv->repl_timer, svc_next->cur_deadline); in replq_remove()
560 stop_timer(prv->repl_timer); in replq_remove()
600 set_timer(prv->repl_timer, svc->cur_deadline); in replq_insert()
637 set_timer(rt_priv(ops)->repl_timer, rearm_svc->cur_deadline); in replq_reinsert()
679 prv->repl_timer = xzalloc(struct timer); in rt_init()
680 if ( prv->repl_timer == NULL ) in rt_init()
697 xfree(prv->repl_timer); in rt_init()
709 ASSERT(prv->repl_timer->status == TIMER_STATUS_invalid || in rt_deinit()
710 prv->repl_timer->status == TIMER_STATUS_killed); in rt_deinit()
711 xfree(prv->repl_timer); in rt_deinit()
734 if ( prv->repl_timer->status == TIMER_STATUS_invalid ) in rt_init_pdata()
736 init_timer(prv->repl_timer, repl_timer_handler, (void*) ops, cpu); in rt_init_pdata()
772 if ( prv->repl_timer->status == TIMER_STATUS_invalid || in rt_switch_sched()
773 prv->repl_timer->status == TIMER_STATUS_killed ) in rt_switch_sched()
775 init_timer(prv->repl_timer, repl_timer_handler, (void*) new_ops, cpu); in rt_switch_sched()
800 if ( prv->repl_timer->cpu == cpu ) in rt_deinit_pdata()
812 kill_timer(prv->repl_timer); in rt_deinit_pdata()
817 migrate_timer(prv->repl_timer, new_cpu); in rt_deinit_pdata()
1508 struct timer *repl_timer = prv->repl_timer; in repl_timer_handler() local
1574 set_timer(repl_timer, replq_elem(replq->next)->cur_deadline); in repl_timer_handler()