Searched refs:count (Results 1 - 25 of 240) sorted by relevance

12345678910

/seL4-l4v-10.1.1/isabelle/src/Pure/Concurrent/
H A Dcounter.scala20 private var count: Counter.ID = 0
23 require(count > java.lang.Long.MIN_VALUE)
24 count -= 1
25 count
28 override def toString: String = count.toString
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Concurrent/
H A Dcounter.scala20 private var count: Counter.ID = 0
23 require(count > java.lang.Long.MIN_VALUE)
24 count -= 1
25 count
28 override def toString: String = count.toString
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dpit.c35 uint16_t count; local
39 count = in8(PIT_CH0);
40 count |= (in8(PIT_CH0) << 8);
41 count_old = count;
43 while (count <= count_old) {
44 count_old = count;
46 count = in8(PIT_CH0);
47 count |= (in8(PIT_CH0) << 8);
H A Dacpi.c293 uint32_t count; local
307 for (count = 0; count < entries; count++) {
308 acpi_madt = (acpi_madt_t*)(word_t)acpi_rsdt_mapped->entry[count];
397 uint32_t count; local
407 for (count = 0; count < entries; count++) {
408 acpi_fadt = (acpi_fadt_t*)(word_t)acpi_rsdt_mapped->entry[count];
438 uint32_t count; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/decompiler/
H A Dm0_decompScript.sml6 val m0_COUNT_def = Define `m0_COUNT count = m0_count count * m0_CONFIG (F, F)`
H A Dm0_core_decompScript.sml13 num => (* count *)
19 M0_ASSERT (M0_ASSERTION n z c v count dreg reg dmem mem pc) =
24 m0_COUNT count *
/seL4-l4v-10.1.1/seL4/src/machine/
H A Dprofiler.c29 /* Event count for each checkpoint value */
53 profiler_entries[i].count = 0;
61 unsigned int samples, i, count; local
63 printf("checkpoint count\n");
66 count = 0;
69 printf("%u %u\n", i, (unsigned int)profiler_entries[i].count);
70 samples += profiler_entries[i].count;
71 count++;
75 printf("%u checkpoints, %u sample(s)\n", count, samples);
88 profiler_entries[checkpoint].count
[all...]
/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/seL4/src/
H A Dutil.c148 uint32_t count = 0; local
149 while ( !(x & 0x80000000U) && count < 34) {
151 count++;
153 return count;
158 uint32_t count = 0; local
159 while ( !(x & 0x000000001) && count <= 32) {
161 count++;
163 return count;
168 uint32_t count = 0; local
169 while ( !(x & 0x8000000000000000U) && count < 6
178 uint32_t count = 0; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DCount.sml51 val count = value
126 | Trans => #TRANS) count)
137 List.app (fn f => f count := 0)
139 fun prims () = List.foldl (fn (f, c) => !(f count) + c) 0 l
142 fun axioms () = !(#AXIOM count)
143 fun defns () = !(#DEFINITION count)
144 fun from_disk () = !(#FROM_DISK count)
145 fun oracles () = !(#ORACLE count)
150 {ABS = !(#ABS count),
151 ALPHA = !(#ALPHA count),
[all...]
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DFlash.sml8 val count = ref 0 value
9 fun one () = (count := !count + 1;
12 (Int.toString (!count * 100 div t)));
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dprofiling_report.scala22 for (Line(Count(Value.Long(count)), raw_fun) <- log_file.lines) {
24 results += (fun -> (results.getOrElse(fun, 0L) + count))
26 for ((fun, count) <- results.toList.sortBy(_._2)) yield (count, fun)
46 for ((count, fun) <- profiling_report(log_file))
49 count.asInstanceOf[AnyRef], fun.asInstanceOf[AnyRef])
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dprofiling_report.scala22 for (Line(Count(Value.Long(count)), raw_fun) <- log_file.lines) {
24 results += (fun -> (results.getOrElse(fun, 0L) + count))
26 for ((fun, count) <- results.toList.sortBy(_._2)) yield (count, fun)
46 for ((count, fun) <- profiling_report(log_file))
49 count.asInstanceOf[AnyRef], fun.asInstanceOf[AnyRef])
/seL4-l4v-10.1.1/HOL4/src/tactictoe/examples/
H A Dttt_demoScript.sml62 ``count n SUBSET count (n+m)``,
63 (* ttt ([],``count n SUBSET count (n+m)``); *)
76 ``count (n+m) DIFF count n = IMAGE ($+n) (count m)``,
77 (* ttt ([],``count (n+m) DIFF count n = IMAGE ($+n) (count
[all...]
/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/graph-refine/graph-to-graph/
H A Dreconstruct.py66 b_id, count = b_match.groups()
67 b_id_counts[int(b_id)] = int(float(count))
69 from_id, to_id, count = g.groups()
76 count = int(round(float(count)))
77 if count == 0:
80 path_counts[from_id][to_id] = count
81 total_edges += count
185 count = path_counts[j][i]
186 assert path_counts[i].values() == [count]
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/
H A Dffi.c38 int count = 0; local
49 count = 4;
55 if ((nfixedargs == 0) && (count < 24))
57 count = 24;
93 if (count == 20) /* never split arguments */
96 count += 4;
104 count += s;
108 return stacktemp + ((count>24)?24:0);
183 int count = 0; local
192 count
[all...]
/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dcompare.pl64 $count = @keys;
68 printf "Average improvement: %6.3f\n", $accum_absolute / $count;
71 printf "Average percent improvement: %6.3f\n", ($accum_percent / $count);
/seL4-l4v-10.1.1/seL4/include/machine/
H A Dprofiler.h70 word_t count; member in struct:__anon157
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DLine.sml102 val (ptarr, count) = ptList pts
104 polyBezier(h, ptarr, count) handle ex => (Memory.free ptarr; raise ex);
110 val (ptarr, count) = ptList pts
112 polyBezierTo(h, ptarr, count) handle ex => (Memory.free ptarr; raise ex);
119 val (ptarr, count) = ptList pl
122 polyDraw(h, ptarr, farr,count) handle ex => (Memory.free ptarr; Memory.free farr; raise ex);
128 val (ptarr, count) = ptList pts
130 polyLine(h, ptarr, count) handle ex => (Memory.free ptarr; raise ex);
136 val (ptarr, count) = ptList pts
138 polyLineTo(h, ptarr, count) handl
[all...]
H A DPath.sml77 val count = getPath(h, null, null, 0) value
78 val _ = checkResult(count >= 0)
80 val ptarr = malloc(Word.fromInt count * sizePt)
81 val farr = malloc(Word.fromInt count)
82 val _ = getPath(h, ptarr, farr, count) handle ex => (free ptarr; free farr; raise ex)
86 List.tabulate(count, getElement) before (free ptarr; free farr)
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dbash.scala48 private var count = 0L
51 count = count + line.length + 1
53 case Some(limit) if count > limit => proc.terminate
114 var count = 10
115 while (running && count > 0) {
119 count -= 1
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dbash.scala48 private var count = 0L
51 count = count + line.length + 1
53 case Some(limit) if count > limit => proc.terminate
114 var count = 10
115 while (running && count > 0) {
119 count -= 1
/seL4-l4v-10.1.1/seL4/include/smp/
H A Dipi.h25 word_t count; member in struct:__anon162
44 if (__atomic_fetch_add(&ipiSyncBarrier.count, 1, __ATOMIC_ACQ_REL) == cores) {
45 ipiSyncBarrier.count = 0;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dbitmap.cpp218 POLYUNSIGNED count = 0;
223 count += 8;
229 count++;
234 return count;

Completed in 235 milliseconds

12345678910