Searched refs:usage (Results 1 – 11 of 11) sorted by relevance
102 static inline ticks_t refill_capacity(sched_context_t *sc, ticks_t usage) in refill_capacity() argument104 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() argument117 return refill_capacity(sc, usage) >= MIN_BUDGET; in refill_sufficient()
252 void refill_budget_check(ticks_t usage) in refill_budget_check() argument268 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()
4 For license and usage guidelines on the seL4 trademark and logo,
107 usage=usage_str)
1055 usage=usage_str,
408 The kernel keeps a record of Vspace's usage in context banks in SMMU by415 VSpace's ASID is equivalent to recording the VSpace's usage in context banks.
137 The kernel will silently ignore any usage of the high 4 bits.
382 as determined by the hardware platform, and usage of these objects
534 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
407 # symbols. At the end of a run doxygen will report the cache usage and suggest1077 # 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 footer1100 # See also section "Doxygen usage" for information on how to generate the style1654 # section "Doxygen usage" for information on how to let doxygen write the1799 # See also section "Doxygen usage" for information on how to generate the2069 # 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.
327 "When enabled this configuration option prevents the usage of any other options that\
Completed in 17 milliseconds