Searched defs:initial (Results 1 - 22 of 22) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildcline_dtype.sml14 val initial : t = value
H A Dbuildcline.sig5 val initial : t value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dparser.y99 initial: label
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dltl.lisp[all...]
H A Dltl-project.lisp
H A Dsummary.lisp[all...]
H A Dcircuit-bisim.lisp[all...]
H A Dcone-of-influence.lisp[all...]
H A Dcircuits.lisp[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DLEXSIG.sml40 val initial: (unit -> char option) * Universal.universal list -> lexan; value
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dbootup.tex[all...]
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dgraph.sml97 val initial = CORE (orderedItemList,0) value
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c501 tcb_t *initial = create_initial_thread( local
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c351 tcb_t *initial = create_initial_thread( local
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c459 tcb_t *initial = create_initial_thread(root_cnode_cap, local
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DcongLib.sml174 val initial = #initial data value
/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpTools.sml290 fun initial r = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DregAllocation.sml114 val initial : (int S.set) ref = ref (S.empty intOrder); value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DregAllocation.sml114 val initial : (int S.set) ref = ref (S.empty intOrder); value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DregAllocation.sml114 val initial : (int S.set) ref = ref (S.empty intOrder); value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml2182 val initial = get_coding_theorem target t "initial" value
2198 val initial value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp6085 static void SetCallbacks(TaskData *taskData, X_Widget_Object *W, PolyWord list, PolyWord initial) argument

Completed in 291 milliseconds