Searched refs:budgets (Results 1 – 1 of 1) sorted by relevance
716 int *budgets = (int *)xmalloc(sizeof(int)); /* budget is in microsecond */ in main_sched_rtds() local761 budgets = xrealloc(budgets, b_size); in main_sched_rtds()763 budgets[b_index++] = strtol(optarg, NULL, 10); in main_sched_rtds()886 scinfo.vcpus[i].budget = budgets[i]; in main_sched_rtds()895 scinfo.vcpus[0].budget = budgets[0]; in main_sched_rtds()912 free(budgets); in main_sched_rtds()
Completed in 3 milliseconds