Lines Matching refs:cur_deadline
209 s_time_t cur_deadline; /* current deadline for EDF */ member
304 return v2->cur_deadline - v1->cur_deadline; in compare_vcpu_priority()
347 svc->cur_deadline, in rt_dump_vcpu()
440 ASSERT(now >= svc->cur_deadline); in rt_update_deadline()
443 if ( svc->cur_deadline + (svc->period << UPDATE_LIMIT_SHIFT) > now ) in rt_update_deadline()
446 svc->cur_deadline += svc->period; in rt_update_deadline()
447 while ( svc->cur_deadline <= now ); in rt_update_deadline()
451 long count = ((now - svc->cur_deadline) / svc->period) + 1; in rt_update_deadline()
452 svc->cur_deadline += count * svc->period; in rt_update_deadline()
469 uint64_t cur_deadline, cur_budget; in rt_update_deadline() member
474 d.cur_deadline = (uint64_t) svc->cur_deadline; in rt_update_deadline()
557 set_timer(prv->repl_timer, svc_next->cur_deadline); 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()
941 if ( now >= svc->cur_deadline ) in rt_vcpu_insert()
1081 uint64_t cur_deadline, cur_budget; in runq_pick() member
1085 d.cur_deadline = (uint64_t) svc->cur_deadline; in runq_pick()
1327 missed = ( now >= svc->cur_deadline ); in rt_vcpu_wake()
1527 if ( now < svc->cur_deadline ) in repl_timer_handler()
1574 set_timer(repl_timer, replq_elem(replq->next)->cur_deadline); in repl_timer_handler()