/seL4-l4v-10.1.1/isabelle/src/Pure/Concurrent/ |
H A D | counter.scala | 20 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 D | counter.scala | 20 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 D | pit.c | 35 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 D | acpi.c | 293 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 D | m0_decompScript.sml | 6 val m0_COUNT_def = Define `m0_COUNT count = m0_count count * m0_CONFIG (F, F)`
|
H A D | m0_core_decompScript.sml | 13 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 D | profiler.c | 29 /* 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 D | mptimer.h | 15 uint32_t count; member in struct:mp_priv_timer
|
/seL4-l4v-10.1.1/seL4/src/ |
H A D | util.c | 148 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 D | Count.sml | 51 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 D | Flash.sml | 8 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 D | profiling_report.scala | 22 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 D | profiling_report.scala | 22 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 D | ttt_demoScript.sml | 62 ``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 D | priv_timer.h | 22 uint32_t count; member in struct:timer
|
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | reconstruct.py | 66 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 D | ffi.c | 38 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 D | compare.pl | 64 $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 D | profiler.h | 70 word_t count; member in struct:__anon157
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Line.sml | 102 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 D | Path.sml | 77 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 D | bash.scala | 48 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 D | bash.scala | 48 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 D | ipi.h | 25 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 D | bitmap.cpp | 218 POLYUNSIGNED count = 0; 223 count += 8; 229 count++; 234 return count;
|