Lines Matching refs:cur_budget
207 s_time_t cur_budget; /* current budget */ member
346 svc->cur_budget, in rt_dump_vcpu()
461 svc->cur_budget = svc->budget; in rt_update_deadline()
469 uint64_t cur_deadline, cur_budget; in rt_update_deadline() member
475 d.cur_budget = (uint64_t) svc->cur_budget; in rt_update_deadline()
580 if ( svc->cur_budget > 0 || in runq_insert()
1006 svc->cur_budget -= delta; in burn_budget()
1009 if ( svc->cur_budget <= 0 ) in burn_budget()
1014 svc->cur_budget = svc->budget; in burn_budget()
1018 svc->cur_budget = 0; in burn_budget()
1027 uint64_t cur_budget; in burn_budget() member
1034 d.cur_budget = (uint64_t) svc->cur_budget; in burn_budget()
1069 ASSERT( iter_svc->cur_budget > 0 ); in runq_pick()
1081 uint64_t cur_deadline, cur_budget; in runq_pick() member
1086 d.cur_budget = (uint64_t) svc->cur_budget; in runq_pick()
1143 scurr->cur_budget > 0 && in rt_schedule()
1168 ret.time = snext->cur_budget; /* invoke the scheduler next time */ in rt_schedule()