Home
last modified time | relevance | path

Searched refs:tail (Results 1 – 4 of 4) sorted by relevance

/seL4-master/manual/tools/
A Dgen_invocations.py74 (path, tail) = os.path.split(os.path.dirname(input_file))
75 assert tail == "interfaces"
/seL4-master/src/kernel/
A Dsporadic.c245 ticks_t tail = refill_head(sc)->rTime + amount; in refill_head_overlapping() local
246 return refill_index(sc, refill_next(sc, sc->scRefillHead))->rTime <= tail; in refill_head_overlapping()
/seL4-master/
A Dgdb-macros173 printf "Queue tail: %x\n", ($ep.words[0] & 0xfffffff0)
184 set $tail = (tcb_t *)($ep.words[0] & 0xfffffff0)
188 while( $current != $tail)
/seL4-master/manual/parts/
A Dthreads.tex145 used. When a round-robin thread stops executing, budget is moved from the head to the tail
147 for its priority and appended at the tail.

Completed in 9 milliseconds