/seL4-l4v-10.1.1/HOL4/tools/Holmake/mosml/ |
H A D | HM_Cline.sml | 5 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 D | HM_Cline.sig | 7 core : HM_Core_Cline.t
|
H A D | BuildCommand.sml | 37 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 D | HM_BaseEnv.sml | 16 ("DEBUG_FLAG", if #debug (#core optv) then [LIT "--dbg"] else []),
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/ |
H A D | ipi.c | 84 /* 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 D | HM_Cline.sig | 12 core : HM_Core_Cline.t
|
H A D | HM_Cline.sml | 12 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 D | HM_BaseEnv.sml | 15 ("DEBUG_FLAG", if #debug (#core cline) then [LIT "--dbg"] else []),
|
H A D | BuildCommand.sml | 207 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 D | graph.sml | 37 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 D | sigs.sml | 185 (* 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 D | coreutils.sml | 140 (* 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 D | core.sml | 50 datatype core = CORE of item list * int type
|
H A D | lalr.sml | 175 (* 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 D | debug.h | 124 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 D | ParseDoc.sig | 34 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 D | makefile | 38 rm -f *.o core *~
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/ |
H A D | Makefile | 51 MLY_SRCDEPS0 = absyn-sig absyn core coreutils grammar graph hdr lalr link look \
|
/seL4-l4v-10.1.1/HOL4/examples/Crypto/MARS/ |
H A D | MARSScript.sml | 83 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 D | ExtendedSyntaxScript.sml | 160 * 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 D | configure | 1812 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 D | configure | 1750 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 D | ExtendedSyntaxScript.sml | 160 * 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 D | riscv_progScript.sml | 54 Specialize to RV64I, core 0
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | boolSyntax.sml | 435 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)
|