Home
last modified time | relevance | path

Searched refs:current (Results 1 – 22 of 22) sorted by relevance

/seL4-master/src/kernel/
A Dsporadic.c52 word_t current = sc->scRefillHead; in refill_print() local
54 print_index(sc, current); in refill_print()
56 while (current != sc->scRefillTail) { in refill_print()
57 current = refill_next(sc, current); in refill_print()
58 print_index(sc, current); in refill_print()
71 word_t current = sc->scRefillHead; in refill_ordered() local
74 while (current != sc->scRefillTail) { in refill_ordered()
79 current = next; in refill_ordered()
80 next = refill_next(sc, current); in refill_ordered()
106 word_t current = sc->scRefillHead; in refill_sum() local
[all …]
/seL4-master/
A Dgdb-macros47 set $current = $queue.head
49 print *$current
50 set $current = $current->tcbSchedNext
52 print *$current
70 set $current = $current->tcbSchedNext
87 Print TCB of current thread
185 if( $current == 0)
188 while( $current != $tail)
189 print *$current
190 set $current = $current->tcbEPNext
[all …]
A DCMakeLists.txt590 # The current installation outputs are:
/seL4-master/src/machine/
A Dcapdl.c116 word_t current = sc->scRefillHead; in sc_get_budget() local
118 while (current != sc->scRefillTail) { in sc_get_budget()
119 current = ((current == sc->scRefillMax - 1u) ? (0) : current + 1u); in sc_get_budget()
120 sum += REFILL_INDEX(sc, current).rAmount; in sc_get_budget()
/seL4-master/tools/dts/
A Dmpfs_icicle.dts367 current-speed = <115200>;
380 current-speed = <115200>;
391 current-speed = <115200>;
402 current-speed = <115200>;
A Dariane.dts87 current-speed = <115200>;
A Dtx2.dts1525 maxim,backup-battery-charging-current = < 0x64 >;
4810 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4818 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4826 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4875 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4883 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4891 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4943 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4951 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
4959 nvidia,drive-current = < 0x00 0x00 0x00 0x00 >;
[all …]
A Dwandq.dts1141 disable-over-current;
A Dsabre.dts1215 disable-over-current;
A Dtqma8xqp1gb.dts2180 over-current-active-low;
/seL4-master/tools/
A Dhelpers.cmake25 # an absolute path based in the current source directory, and if the results in a file
46 # Uses the current compilation settings as well as any EXTRA_FLAGS provided. Can also
95 # in the current working directory a unqiue 'work_dir' needs to be provided
430 # to force a new value for example if we detect that the current selected choice is
436 # This tracks whether or not the current selected choice is one of the ones that we
438 # if the current choice is invalid to do an unment condition, we must switch to some
486 # used if there is no current value, or for some reason we need to override
487 # the current value (see force_default above)
536 # upon current state of cache/variables and a provided template string. Additionally
A Dinternal.cmake35 # be run with a working directory that is not the current source directory
/seL4-master/src/arch/x86/32/
A Dtraps.S361 testl $3, (4 * CS)(%esp) # extract CPL (current privilege level)
378 # Check the current ESP. If this is within the bounds of __idle_thread_start and
/seL4-master/src/arch/x86/64/
A Dtraps.S587 # rcx. The current CS and SS have been loaded from
589 # the current RFLAGS (after saving) have been masked
/seL4-master/src/arch/x86/
A Dconfig.cmake73 KernelCacheLnSz CACHE_LN_SZ "Define cache line size for the current architecture"
305 execution of other processes. On current processors IBRS has a prohibitive performance
/seL4-master/src/arch/arm/
A Dconfig.cmake77 # the current CMake scripts ensure that KernelSel4ArchArmHyp is always set
/seL4-master/manual/parts/
A Dthreads.tex121 and sporadic threads. For round-robin threads, the budget is charged each time the current node's
130 \item When a thread starts executing at current time $T$, record $T_{s}$
132 amount of time consumed ($T - T_{s}$) and subtract that from the current replenishment being used.
167 have enough space to store the new replenishment, space is created by removing the current
174 Whenever a thread is executing it consumes the budget from its current scheduling context. The
A Dbootup.tex84 the current platform's configuration.
A Dcspace.tex117 kernel-generated reply capability of the current thread from the
527 …\ipcbloc{Offset + seL4\_CapFault\_DepthMismatch\_BitsFound} & Bits that the current CNode being tr…
A Dobjects.tex427 kernel will allocate the new objects at the current watermark level, and
/seL4-master/manual/
A Dsel4.sty134 % copyright, it defaults to the current year.
A DDoxyfile65 # left blank the current directory will be used.
673 # doxygen should invoke to get the current version for each file (typically from
778 # Note: If this tag is empty the current directory is searched.
2081 # in the modules index. If set to NO, only the current project's groups will be
2088 # the related pages index. If set to NO, only the current project's pages will

Completed in 65 milliseconds