next (definition) in projects: seL4-master

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

/seL4-master/include/benchmark/
A D	benchmark_utilisation.h	`24 static inline void benchmark_utilisation_switch(tcb_t heir, tcb_t next) in benchmark_utilisation_switch()`
/seL4-master/src/object/
A D	cnode.c	`571 cte_t prev, next; in emptySlot() local 747 cte_t next; in insertNewCap() local 818 cte_t next; in ensureNoChildren() local 862 cte_t *next; in isFinalCapability() local`
A D	endpoint.c	`439 tcb_t thread, next; in cancelBadgedSends() local`
/seL4-master/include/smp/
A D	lock.h	`35 clh_qnode_t *next; member`
/seL4-master/src/kernel/
A D	sporadic.c	`72 word_t next = refill_next(sc, sc->scRefillHead); in refill_ordered() local`
/seL4-master/tools/
A D	lex.py	`433 def next(self): member in Lexer`

Completed in 13 milliseconds