Home
last modified time | relevance | path

Searched refs:usage (Results 1 – 11 of 11) sorted by relevance

/seL4-master/include/kernel/
A Dsporadic.h102 static inline ticks_t refill_capacity(sched_context_t *sc, ticks_t usage) in refill_capacity() argument
104 if (unlikely(usage > refill_head(sc)->rAmount)) { in refill_capacity()
108 return refill_head(sc)->rAmount - usage; in refill_capacity()
115 static inline bool_t refill_sufficient(sched_context_t *sc, ticks_t usage) in refill_sufficient() argument
117 return refill_capacity(sc, usage) >= MIN_BUDGET; in refill_sufficient()
/seL4-master/src/kernel/
A Dsporadic.c252 void refill_budget_check(ticks_t usage) in refill_budget_check() argument
268 while (refill_head(sc)->rAmount <= usage && refill_head(sc)->rTime < MAX_RELEASE_TIME) { in refill_budget_check()
269 usage -= refill_head(sc)->rAmount; in refill_budget_check()
284 if (usage > 0 && refill_head(sc)->rTime < MAX_RELEASE_TIME) { in refill_budget_check()
285 assert(refill_head(sc)->rAmount > usage); in refill_budget_check()
287 .rAmount = usage, in refill_budget_check()
291 refill_head(sc)->rAmount -= usage; in refill_budget_check()
302 refill_head(sc)->rTime += usage; in refill_budget_check()
/seL4-master/LICENSES/
A DLicenseRef-Trademark.txt4 For license and usage guidelines on the seL4 trademark and logo,
/seL4-master/manual/tools/
A Dgen_invocations.py107 usage=usage_str)
/seL4-master/libsel4/tools/
A Dsyscall_stub_gen.py1055 usage=usage_str,
/seL4-master/manual/parts/
A Dio.tex408 The kernel keeps a record of Vspace's usage in context banks in SMMU by
415 VSpace's ASID is equivalent to recording the VSpace's usage in context banks.
A Dipc.tex137 The kernel will silently ignore any usage of the high 4 bits.
A Dobjects.tex382 as determined by the hardware platform, and usage of these objects
A Dthreads.tex534 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
/seL4-master/manual/
A DDoxyfile407 # symbols. At the end of a run doxygen will report the cache usage and suggest
1077 # and then modify the file new_header.html. See also section "Doxygen usage"
1091 # section "Doxygen usage" for information on how to generate the default footer
1100 # See also section "Doxygen usage" for information on how to generate the style
1654 # section "Doxygen usage" for information on how to let doxygen write the
1799 # See also section "Doxygen usage" for information on how to generate the
2069 # external documentation" for more information about the usage of tag files.
2130 # and usage relations if the target is undocumented or is not a class.
/seL4-master/
A Dconfig.cmake327 "When enabled this configuration option prevents the usage of any other options that\

Completed in 17 milliseconds