Searched defs:current (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dqbuf.sig8 val current : 'a qbuf -> 'a base_tokens.base_token locn.located value
H A Dqbuf.sml82 fun current r = case !r of (_, x, _, _) => x function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryGraph.sig17 val current : unit -> t value
H A DTheoryGraph.sml98 fun current () = function
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dstatespace.cxx64 bdd current = fdd_ithvar(0,i); local
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Duntranslate-file.lisp
H A Da2ml.lisp
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.c94 struct mem_node *current = prev->next; local
165 struct mem_node *current = prev->next; local
[all...]
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.c75 struct mem_node *current = prev->next; local
136 struct mem_node *current = prev->next; local
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dcapdl.c199 tcb_t *current = NODE_STATE(ksReadyQueues[i]).head; local
212 tcb_t *current = (tcb_t *)endpoint_ptr_get_epQueue_head((endpoint_t *)epptr); local
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dparse_glob.sml10 fun current(s,i) = SOME(String.sub(s,i)) handle Subscript => NONE function
H A DHoldep_tokens.sml21 fun current (CR {current = c, ...}) = c function
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcapdl.c220 tcb_t *current = NODE_STATE(ksReadyQueues[i]).head; local
233 tcb_t *current = (tcb_t *)endpoint_ptr_get_epQueue_head((endpoint_t *)epptr); local
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Tools/
H A Dpolyscripter.sml32 fun current (LB {currentOpt, ...}) = !currentOpt function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc_mark_phase.cpp152 struct { PolyObject *base; PolyWord *current; } largeObjectCache[LARGECACHE_SIZE]; member in struct:MTGCProcessMarkPointers::__anon13
H A Dprocesses.cpp752 POLYUNSIGNED current = taskData->currentStackSpace(); // Current size in words local
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp505 Proof* current = &P; local
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml517 fun current (FVI r) = #current r function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml49 val current = !user_defined_modifier value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml2792 let val current = strip_conj (concl main) value

Completed in 164 milliseconds