Searched defs:core (Results 1 - 17 of 17) sorted by relevance
| /seL4-l4v-master/seL4/include/api/ |
| H A D | debug.h | 116 word_t core = SMP_TERNARY(tcb->tcbAffinity, 0); local
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | core.sml | 50 datatype core = CORE of item list * int type
|
| H A D | graph.sml | 58 val core = fn ({nodeArray,...} : graph) => value
67 let val core =CORE (a,num) value
|
| H A D | mklrtable.sml | 414 val core = Graph.core graph value
|
| H A D | sigs.sml | 189 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-master/seL4/src/object/ |
| H A D | schedcontrol.c | 13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, argument
|
| /seL4-l4v-master/seL4/libsel4/include/sel4/ |
| H A D | benchmark_track_types.h | 44 seL4_Word core: 3; member in struct:kernel_entry::__anon168::__anon169
|
| /seL4-l4v-master/seL4/src/arch/x86/smp/ |
| H A D | ipi.c | 88 int core = wordBits - 1 - clzl(mask); local
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | Pretype.sml | 227 val core = value
|
| H A D | Parse_support.sml | 444 val (core,E') = bind_term l body_bvars tm E value
|
| /seL4-l4v-master/seL4/src/kernel/ |
| H A D | sporadic.c | 153 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core) argument
|
| H A D | thread.c | 582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU) argument
[all...] |
| H A D | boot.c | 393 BOOT_CODE static bool_t configure_sched_context(tcb_t *tcb, sched_context_t *sc_pptr, ticks_t timeslice, word_t core) argument
|
| /seL4-l4v-master/HOL4/examples/dev/sw2/ |
| H A D | refine.sml | 122 let val core = rator(rator tm) value
|
| /seL4-l4v-master/HOL4/src/postkernel/ |
| H A D | ThyDataSexp.sml | 265 val core = value
|
| /seL4-l4v-master/seL4/src/arch/arm/machine/ |
| H A D | gic_v3.c | 297 word_t core = IRQT_TO_CORE(irq); local
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | EmitTeX.sml | 284 val (core,digits) = splitr Char.isDigit pfx value
|
Completed in 113 milliseconds