Searched defs:index (Results 1 - 25 of 89) sorted by relevance

1234

/seL4-l4v-master/seL4/include/arch/riscv/arch/model/
H A Dsmp.h23 static inline cpu_id_t cpuIndexToID(word_t index) argument
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dextern_dups.c25 int index(int i) function
/seL4-l4v-master/seL4/src/plat/bcm2837/machine/
H A Dintc.c123 int index = normal_irq / 32; local
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/model/
H A Dsmp.h27 cpu_id_t index; member in struct:nodeInfo
48 cpu_id_t index; local
/seL4-l4v-master/seL4/include/arch/arm/arch/model/
H A Dsmp.h14 static inline cpu_id_t cpuIndexToID(word_t index) argument
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DSymbol.sml6 val index : symbol -> int value
39 fun index(s,n) = n function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DSymbol.sml6 val index : symbol -> int value
39 fun index(s,n) = n function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DSymbol.sml6 val index : symbol -> int value
39 fun index(s,n) = n function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/
H A DSymbol.sml6 val index : symbol -> int value
39 fun index(s,n) = n function
/seL4-l4v-master/HOL4/src/0/
H A DNet.sig20 val index : term -> 'a net -> 'a list value
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DNet.sig20 val index : term -> 'a net -> 'a list value
/seL4-l4v-master/HOL4/src/prekernel/
H A DFinalNet-sig.sml10 val index : term -> 'a net -> 'a list value
/seL4-l4v-master/seL4/include/arch/x86/arch/model/
H A Dsmp.h29 static inline cpu_id_t cpuIndexToID(word_t index) argument
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp50 unsigned int index = 0; local
114 int index = 0; local
[all...]
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dcache.c18 word_t index; local
29 word_t index; local
80 word_t index; local
96 word_t index; local
138 word_t index; local
149 word_t index; local
[all...]
H A Dgic_v2.c155 word_t index = IRQT_TO_IRQ(irq) / 16u; local
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dinterrupt.c40 word_t index = getSyscallArg(2, buffer); local
84 word_t index = getSyscallArg(2, buffer); local
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c52 word_t index = getSyscallArg(2, buffer); local
/seL4-l4v-master/seL4/src/smp/
H A Dipi.c119 int index = wordBits - 1 - clzl(mask); local
/seL4-l4v-master/seL4/include/kernel/
H A Dsporadic.h43 static inline refill_t *refill_index(sched_context_t *sc, word_t index) argument
/seL4-l4v-master/seL4/src/arch/x86/smp/
H A Dipi.c100 int index = wordBits - 1 - clzl(sub_mask); local
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp506 (defun index (e lst) function
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A DpatternMatch.sml138 val index = fst (hd (l)) value
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolverTypes.h62 inline int index (Lit p) { return p.x; } // A "toInt" method that guarantees small, positive integers suitable for array indexing. function
/seL4-l4v-master/HOL4/src/ring/src/
H A Dquote.sml47 datatype index = Li of index | Lr of index | Ei; type

Completed in 379 milliseconds

1234