Searched refs:cpu_budget (Results 1 – 3 of 3) sorted by relevance
219 int64_t cpu_budget = 0; in rr_cpu_thread_fn() local236 cpu_budget = icount_percpu_budget(cpu_count); in rr_cpu_thread_fn()259 icount_prepare_for_run(cpu, cpu_budget); in rr_cpu_thread_fn()
105 void icount_prepare_for_run(CPUState *cpu, int64_t cpu_budget) in icount_prepare_for_run() argument119 cpu->icount_budget = MIN(icount_get_limit(), cpu_budget); in icount_prepare_for_run()
14 void icount_prepare_for_run(CPUState *cpu, int64_t cpu_budget);