Searched refs:budget_us (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/src/object/ |
| H A D | schedcontrol.c | 103 time_t budget_us = mode_parseTimeArg(0, buffer); local
116 if (budget_us > MAX_BUDGET_US || budget_us < MIN_BUDGET_US) {
132 if (budget_us > period_us) {
153 usToTicks(budget_us),
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread_config.h | 72 uint64_t budget_us, seL4_Word extra_refills, seL4_Word badge)
79 params.budget = budget_us;
70 sched_params_periodic(sched_params_t params, simple_t *simple, seL4_Word core, uint64_t period_us, uint64_t budget_us, seL4_Word extra_refills, seL4_Word badge) argument
|
Completed in 33 milliseconds