Searched defs:curr (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_simp.c26 word_t curr; member in struct:heap
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dkmalloc.c76 word_t* prev, *curr; local
100 word_t* prev, *curr; local
126 word_t* curr; local
169 word_t* curr; local
[all...]
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dkmalloc.c76 word_t* prev, *curr; local
100 word_t* prev, *curr; local
126 word_t* curr; local
169 word_t* curr; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DCache.sml44 val curr = all_hyps thms value
284 val curr = all_hyps ctxt value

Completed in 43 milliseconds