Searched refs:core (Results 1 - 25 of 83) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/tools/Holmake/mosml/
H A DHM_Cline.sml5 core : HM_Core_Cline.t,
15 fun from core mosmldir no_basis2002 =
17 no_basis2002 = no_basis2002, mosmldir = mosmldir, core = core
19 fun from' no_basis2002 mosmldir core =
21 no_basis2002 = no_basis2002, mosmldir = mosmldir, core = core
23 fun to f {core, mosmldir, no_basis2002} =
24 f core mosmldir no_basis2002
36 core
[all...]
H A DHM_Cline.sig7 core : HM_Core_Cline.t
H A DBuildCommand.sml37 val debug = #debug (#core optv)
38 val allfast = #fast (#core optv)
39 val keep_going = #keep_going (#core optv)
40 val quit_on_failure = #quit_on_failure (#core optv)
41 val quiet_flag = #quiet (#core optv)
42 val interactive_flag = #interactive (#core optv)
45 val no_overlay = #no_overlay (#core optv)
H A DHM_BaseEnv.sml16 ("DEBUG_FLAG", if #debug (#core optv) then [LIT "--dbg"] else []),
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c84 /* make sure all cpu IDs for number of core fit in bitwise word */
94 int core = wordBits - 1 - clzl(mask); local
97 /* get mask of all cores in bitmask which are in same cluster as 'core' */
98 word_t sub_mask = mask & cpu_mapping.other_indexes_in_cluster[core];
99 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[core];
101 big_kernel_lock.node_owners[core].ipi = 1;
104 /* check if there is any other core in this cluster */
114 mask &= ~(cpu_mapping.other_indexes_in_cluster[core] | BIT(core));
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DHM_Cline.sig12 core : HM_Core_Cline.t
H A DHM_Cline.sml12 core : HM_Core_Cline.t
20 fun from core holstate multithread poly polymllibdir poly_not_hol relocbuild
22 {core = core, holstate = holstate, multithread = multithread, poly = poly,
26 holstate core =
27 {core = core, holstate = holstate, multithread = multithread, poly = poly,
30 fun to f {core, holstate, multithread, poly, polymllibdir, poly_not_hol,
32 f core holstate multithread poly polymllibdir poly_not_hol relocbuild
41 fun fupd_core f t = updateT t (U #core (
[all...]
H A DHM_BaseEnv.sml15 ("DEBUG_FLAG", if #debug (#core cline) then [LIT "--dbg"] else []),
H A DBuildCommand.sml207 val keep_going = #keep_going (#core optv)
208 val debug = #debug (#core optv)
209 val opentheory = #opentheory (#core optv)
210 val allfast = #fast (#core optv)
216 val interactive_flag = #interactive (#core optv)
217 val quiet_flag = #quiet (#core optv)
219 val jobs = #jobs (#core optv)
430 val jobs = #jobs (#core optv)
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dgraph.sml37 type elem = core
45 type graph = {edges: {edge:symbol,to:core} list array,
46 nodes: core list,nodeArray : core array}
58 val core = fn ({nodeArray,...} : graph) => value
67 let val core =CORE (a,num) value
68 val edge = {edge=symbol,to=core}
69 in (insert(core,nodes),edge::edges,
70 core::future,num+1)
H A Dsigs.sml185 (* core: a set of items. It is represented by an ordered list of items.
189 datatype core = CORE of item list * int (* state # *) type
193 val gtCore : core * core -> bool
194 val eqCore : core * core -> bool
201 (string -> unit) -> core -> unit
215 nonterminal, the cores that result from shift/gotos from a core,
221 (* shifts: take a core and compute all the cores that result from shifts/gotos
224 shifts : Core.core
245 val core : graph -> int -> Core.core (* get core for a state *) value
[all...]
H A Dcoreutils.sml140 (* getNonterms: get the nonterminals with a . before them in a core.
149 in the closure of the core. Returns a list of nonterminals in ascending
158 (* shifts: compute the core sets that result from shift/gotoing on
159 the closure of a kernal set. The items in core sets are sorted, of
162 (1) compute the core sets that result just from items added
196 (* nonterms: a list of nonterminals that are in a core after the
207 (* finally prepare to insert the kernal items of a core *)
218 (* insert the kernal items of a core *)
238 (* epsProds: take a core and compute a list of epsilon productions for it
H A Dcore.sml50 datatype core = CORE of item list * int type
H A Dlalr.sml175 (* map core to a new core including only items of the form A -> x. or
177 core. Each item is given a ref cell to hold the lookahead nonterminals for
406 (* scan_core: Scan a core for all items of the form A -> x .B y. Applies
489 in add_eop(Graph.core graph 0,eop);
/seL4-l4v-10.1.1/seL4/include/api/
H A Ddebug.h124 word_t core = SMP_TERNARY(tcb->tcbAffinity, 0); local
125 printf("%15s\t%p\t%20lu\t%lu\n", state, (void *) getRestartPC(tcb), tcb->tcbPriority, core);
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DParseDoc.sig34 stripped of its .doc suffix and returns the "core" part of the name.
35 For names of the form "struct.value", the core part is value. For
36 names of the form "value", the core part is simply value. The latter
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dmakefile38 rm -f *.o core *~
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/
H A DMakefile51 MLY_SRCDEPS0 = absyn-sig absyn core coreutils grammar graph hdr lalr link look \
/seL4-l4v-10.1.1/HOL4/examples/Crypto/MARS/
H A DMARSScript.sml83 Hol_defn "core"
84 `core i (b:block) (k:keysched) =
86 else core (i-1) (en_core_rnd(b,k,i)) (ROTKEYS(k))`,
90 en_core (b:block,k:keysched) = core 16 b k`;
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.1/official-semantics/
H A DExtendedSyntaxScript.sml160 * Translate booleans from extended syntax into core syntax
174 * Translate extended SEREs into core syntax
227 * Translate extended formulas into core syntax
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1812 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
1957 rm -f core conftest.err conftest.$ac_objext \
2101 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2145 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2150 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2152 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2175 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2223 rm -f core *.core core
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1750 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
1895 rm -f core conftest.err conftest.$ac_objext \
2069 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2071 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2111 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2230 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2232 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2286 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2347 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2349 rm -f core conftes
[all...]
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/official-semantics/
H A DExtendedSyntaxScript.sml160 * Translate booleans from extended syntax into core syntax
175 * Translate extended SEREs into core syntax
225 * Translate extended formulas into core syntax
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/prog/
H A Driscv_progScript.sml54 Specialize to RV64I, core 0
/seL4-l4v-10.1.1/HOL4/src/1/
H A DboolSyntax.sml435 val (prs, core) = strip_res_forall body
437 ((bv, pred) :: prs, core)
444 val (prs, core) = strip_res_exists body
446 ((bv, pred) :: prs, core)

Completed in 268 milliseconds

1234