Searched defs:next (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/include/benchmark/
H A Dbenchmark_utilisation.h36 static inline void benchmark_utilisation_switch(tcb_t *heir, tcb_t *next) argument
/seL4-mcs-10.1.1/include/smp/
H A Dlock.h42 clh_qnode_t *next; member in struct:clh_qnode_p
/seL4-mcs-10.1.1/src/kernel/
H A Dsporadic.c77 word_t next = refill_next(sc, sc->scRefillHead); local
/seL4-mcs-10.1.1/src/object/
H A Dendpoint.c320 tcb_t *thread, *next; local
H A Dcnode.c542 cte_t *prev, *next; local
724 cte_t *next; local
780 cte_t *next; local
826 cte_t *next; local
[all...]
/seL4-mcs-10.1.1/tools/
H A Dlex.py413 def next(self): member in class:Lexer

Completed in 54 milliseconds