current (definition) in projects: seL4-master

Searched defs:current (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/kernel/
A D	sporadic.c	`52 word_t current = sc->scRefillHead; in refill_print() local 71 word_t current = sc->scRefillHead; in refill_ordered() local 106 word_t current = sc->scRefillHead; in refill_sum() local`
/seL4-master/src/machine/
A D	capdl.c	`116 word_t current = sc->scRefillHead; in sc_get_budget() local`

Completed in 5 milliseconds