Searched defs:idx (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DstringBinTree.sml84 let val idx = (List.tabulate(mxl,fn n => n)) value
H A DcearTools.sml736 val (idx,as1,dead,bad) = ref_abs (valOf ace) (valOf cce) state RTm astate af (* refine *) value
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.C183 int idx,idx0; local
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_types.sml171 val idx = valOf (find_unescaped [#":"] ss) value
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp318 int idx = P.endChain()-1; //-1 because zc2hs (and zchaff) clause count is base 0 local
343 int idx = P.endChain()-1; local
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sml84 fun idx (i, []) = raise ERR "index" "no such element" function
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace.c217 uint32_t idx; local
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c134 word_t idx = (PPTR_KDEV & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS; local
[all...]
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c93 word_t idx; local
124 word_t idx; local
155 word_t idx; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sml216 fun idx _ [] = NONE function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sml172 fun idx _ [] = NONE function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml313 fun idx _ [] = NONE function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml313 fun idx _ [] = NONE function
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c167 word_t idx = (vaddr & MASK(pageBitsForSize(ARMSection))) >> pageBitsForSize(ARMSmallPage); local
220 word_t idx; local
336 uint32_t idx; local
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c271 word_t idx; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddlmalloc.c2703 bindex_t idx; local
3725 bindex_t idx; local
4151 bindex_t idx; local
4558 bindex_t idx; local
[all...]

Completed in 182 milliseconds