Searched defs:count (Results 1 - 25 of 75) sorted by relevance

123

/seL4-l4v-10.1.1/isabelle/src/HOL/Mutabelle/lib/Tools/
H A Dmutabelle145 function count() { function
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Mutabelle/lib/Tools/
H A Dmutabelle145 function count() { function
/seL4-l4v-10.1.1/l4v/spec/haskell/include/
H A Dmptimer.h15 uint32_t count; member in struct:mp_priv_timer
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DFlash.sml8 val count = ref 0 value
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dpriv_timer.h22 uint32_t count; member in struct:timer
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dboot.h21 word_t count; member in struct:mem_p_regs
/seL4-l4v-10.1.1/seL4/include/machine/
H A Dprofiler.h70 word_t count; member in struct:__anon157
/seL4-l4v-10.1.1/seL4/include/smp/
H A Dipi.h25 word_t count; member in struct:__anon162
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dpit.c35 uint16_t count; local
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DStandard_Thread.sml31 val count = Counter.make (); value
/seL4-l4v-10.1.1/seL4/src/machine/
H A Dprofiler.c61 unsigned int samples, i, count; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMultiset.sig13 val count : 'a mset -> 'a -> int value
H A DmlibModel.sig47 val count : model -> formula -> int * int (* num of satisfying groundings *) value
H A DmlibMultiset.sml39 fun count m x = case M.peek (m,x) of SOME n => n | NONE => 0; function
H A DmlibStream.sig16 val count : int -> int stream value
H A DmlibStream.sml23 fun count n = CONS (n, fn () => count (n + 1)); function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DCount.sml51 val count = value
[all...]
/seL4-l4v-10.1.1/seL4/src/
H A Dutil.c148 uint32_t count = 0; local
158 uint32_t count = 0; local
168 uint32_t count = 0; local
178 uint32_t count = 0; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DStream.sig24 val count : int -> int stream value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DPath.sml77 val count = getPath(h, null, null, 0) value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/frv/
H A Dffi.c43 register int count = 0; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/moxie/
H A Dffi.c41 register int count = 0; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/
H A Dffi.c38 int count = 0; local
183 int count = 0; local
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sig24 val count : int -> int stream value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sig24 val count : int -> int stream value

Completed in 218 milliseconds

123