Searched defs:core (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Ddebug.h124 word_t core = SMP_TERNARY(tcb->tcbAffinity, 0); local
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dcore.sml50 datatype core = CORE of item list * int type
H A Dgraph.sml58 val core = fn ({nodeArray,...} : graph) => value
67 let val core =CORE (a,num) value
H A Dmklrtable.sml414 val core = Graph.core graph value
H A Dsigs.sml189 datatype core = CORE of item list * int (* state # *) type
245 val core : graph -> int -> Core.core (* get core for a state *) value
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c94 int core = wordBits - 1 - clzl(mask); local
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DThyDataSexp.sml214 val core = value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPretype.sml227 val core = value
H A DParse_support.sml444 val (core,E') = bind_term l body_bvars tm E value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Drefine.sml122 let val core = rator(rator tm) value
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DEmitTeX.sml283 val (core,digits) = splitr Char.isDigit pfx value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Type.sml1236 val core = value

Completed in 73 milliseconds