Searched refs:usage (Results 1 - 8 of 8) sorted by relevance
| /seL4-mcs-10.1.1/include/kernel/ |
| H A D | sporadic.h | 78 * has available if usage is charged to it. */
80 refill_capacity(sched_context_t *sc, ticks_t usage) argument
82 if (unlikely(usage > REFILL_HEAD(sc).rAmount)) {
86 return REFILL_HEAD(sc).rAmount - usage;
91 * to enter and exit the kernel after usage is charged to it.
94 refill_sufficient(sched_context_t *sc, ticks_t usage) argument
96 return refill_capacity(sc, usage) >= MIN_BUDGET;
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | sporadic.c | 238 refill_budget_check(sched_context_t *sc, ticks_t usage, ticks_t capacity) argument
246 while (REFILL_HEAD(sc).rAmount <= usage) {
248 usage -= REFILL_HEAD(sc).rAmount;
260 if (usage > 0) {
263 REFILL_HEAD(sc).rTime += usage;
276 capacity = refill_capacity(sc, usage);
278 refill_split_check(sc, usage);
294 refill_split_check(sched_context_t *sc, ticks_t usage) argument
300 assert(usage > 0);
301 assert(usage <
[all...] |
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | gen_invocations.py | 108 usage=usage_str)
|
| /seL4-mcs-10.1.1/manual/parts/ |
| H A D | ipc.tex | 133 silently ignore any usage of the high 4 bits.
|
| H A D | objects.tex | 346 as determined by the hardware platform, and usage of these objects
|
| H A D | threads.tex | 503 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
|
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 998 usage=usage_str,
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 998 usage=usage_str,
|
Completed in 93 milliseconds