Searched refs:current (Results 1 – 22 of 22) sorted by relevance
/seL4-master/src/kernel/ |
A D | sporadic.c | 52 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 D | gdb-macros | 47 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 D | CMakeLists.txt | 590 # The current installation outputs are:
|
/seL4-master/src/machine/ |
A D | capdl.c | 116 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 D | mpfs_icicle.dts | 367 current-speed = <115200>; 380 current-speed = <115200>; 391 current-speed = <115200>; 402 current-speed = <115200>;
|
A D | ariane.dts | 87 current-speed = <115200>;
|
A D | tx2.dts | 1525 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 D | wandq.dts | 1141 disable-over-current;
|
A D | sabre.dts | 1215 disable-over-current;
|
A D | tqma8xqp1gb.dts | 2180 over-current-active-low;
|
/seL4-master/tools/ |
A D | helpers.cmake | 25 # 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 D | internal.cmake | 35 # be run with a working directory that is not the current source directory
|
/seL4-master/src/arch/x86/32/ |
A D | traps.S | 361 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 D | traps.S | 587 # 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 D | config.cmake | 73 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 D | config.cmake | 77 # the current CMake scripts ensure that KernelSel4ArchArmHyp is always set
|
/seL4-master/manual/parts/ |
A D | threads.tex | 121 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 D | bootup.tex | 84 the current platform's configuration.
|
A D | cspace.tex | 117 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 D | objects.tex | 427 kernel will allocate the new objects at the current watermark level, and
|
/seL4-master/manual/ |
A D | sel4.sty | 134 % copyright, it defaults to the current year.
|
A D | Doxyfile | 65 # 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