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 29 milliseconds