Lines Matching refs:budget
204 s_time_t budget; member
345 svc->budget, in rt_dump_vcpu()
461 svc->cur_budget = svc->budget; in rt_update_deadline()
904 svc->budget = RTDS_DEFAULT_BUDGET; in rt_alloc_vdata()
1014 svc->cur_budget = svc->budget; in burn_budget()
1403 s_time_t period, budget; in rt_dom_cntl() local
1411 op->u.rtds.budget = RTDS_DEFAULT_BUDGET / MICROSECS(1); in rt_dom_cntl()
1414 if ( op->u.rtds.period == 0 || op->u.rtds.budget == 0 ) in rt_dom_cntl()
1424 svc->budget = MICROSECS(op->u.rtds.budget); in rt_dom_cntl()
1449 local_sched.u.rtds.budget = svc->budget / MICROSECS(1); in rt_dom_cntl()
1467 budget = MICROSECS(local_sched.u.rtds.budget); in rt_dom_cntl()
1468 if ( period > RTDS_MAX_PERIOD || budget < RTDS_MIN_BUDGET || in rt_dom_cntl()
1469 budget > period || period < RTDS_MIN_PERIOD ) in rt_dom_cntl()
1478 svc->budget = budget; in rt_dom_cntl()