Home
last modified time | relevance | path

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

/xen/xen/common/sched/
A Drt.c190 struct timer repl_timer; /* replenishment timer */ member
551 set_timer(&prv->repl_timer, svc_next->cur_deadline); in replq_remove()
554 stop_timer(&prv->repl_timer); in replq_remove()
594 set_timer(&prv->repl_timer, svc->cur_deadline); in replq_insert()
709 ASSERT(prv->repl_timer.status == TIMER_STATUS_invalid || in rt_deinit()
710 prv->repl_timer.status == TIMER_STATUS_killed); in rt_deinit()
741 if ( prv->repl_timer.status == TIMER_STATUS_invalid || in rt_switch_sched()
742 prv->repl_timer.status == TIMER_STATUS_killed ) in rt_switch_sched()
761 if ( prv->repl_timer.cpu == cpu ) in rt_deinit_pdata()
773 kill_timer(&prv->repl_timer); in rt_deinit_pdata()
[all …]
A Dcredit2.c585 struct timer repl_timer; /* Timer for periodic replenishment of budget */ member
2139 set_timer(&sdom->repl_timer, sdom->next_repl); in replenish_domain_budget()
3006 set_timer(&sdom->repl_timer, sdom->next_repl); in csched2_dom_cntl()
3065 stop_timer(&sdom->repl_timer); in csched2_dom_cntl()
3169 init_timer(&sdom->repl_timer, replenish_domain_budget, sdom, in csched2_alloc_domdata()
3193 kill_timer(&sdom->repl_timer); in csched2_free_domdata()

Completed in 18 milliseconds