Searched refs:cpu (Results 26 - 33 of 33) sorted by relevance
12
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
H A D | markup.scala | 353 val CPU = new Properties.Double("cpu") 359 Elapsed(timing.elapsed.seconds) ::: CPU(timing.cpu.seconds) ::: GC(timing.gc.seconds) 363 case (Elapsed(elapsed), CPU(cpu), GC(gc)) => 364 Some(new isabelle.Timing(Time.seconds(elapsed), Time.seconds(cpu), Time.seconds(gc)))
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | build_log.scala | 507 new Regex("""^Finished (\S+) \((\d+):(\d+):(\d+) elapsed time, (\d+):(\d+):(\d+) cpu time.*$""") 511 new Regex("""^Timing (\S+) \((\d+) threads, (\d+\.\d+)s elapsed time, (\d+\.\d+)s cpu time, (\d+\.\d+)s GC time.*$""") 571 val cpu = Time.hms(c1, c2, c3) 572 timing += (name -> Timing(elapsed, cpu, Time.zero)) 582 val cpu = Time.seconds(c) 584 ml_timing += (name -> Timing(elapsed, cpu, gc)) 1011 stmt.long(7) = session.timing.cpu.proper_ms 1015 stmt.long(11) = session.ml_timing.cpu.proper_ms 1044 stmt.long(5) = timing.cpu.ms
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | build_log.scala | 507 new Regex("""^Finished (\S+) \((\d+):(\d+):(\d+) elapsed time, (\d+):(\d+):(\d+) cpu time.*$""") 511 new Regex("""^Timing (\S+) \((\d+) threads, (\d+\.\d+)s elapsed time, (\d+\.\d+)s cpu time, (\d+\.\d+)s GC time.*$""") 571 val cpu = Time.hms(c1, c2, c3) 572 timing += (name -> Timing(elapsed, cpu, Time.zero)) 582 val cpu = Time.seconds(c) 584 ml_timing += (name -> Timing(elapsed, cpu, gc)) 1011 stmt.long(7) = session.timing.cpu.proper_ms 1015 stmt.long(11) = session.ml_timing.cpu.proper_ms 1044 stmt.long(5) = timing.cpu.ms
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | tcb.c | 55 addToBitmap(word_t cpu, word_t dom, word_t prio) argument 63 NODE_STATE_ON_CORE(ksReadyQueuesL1Bitmap[dom], cpu) |= BIT(l1index); 68 NODE_STATE_ON_CORE(ksReadyQueuesL2Bitmap[dom][l1index_inverted], cpu) |= BIT(prio & MASK(wordRadix)); 72 removeFromBitmap(word_t cpu, word_t dom, word_t prio) argument 79 NODE_STATE_ON_CORE(ksReadyQueuesL2Bitmap[dom][l1index_inverted], cpu) &= ~BIT(prio & MASK(wordRadix)); 80 if (unlikely(!NODE_STATE_ON_CORE(ksReadyQueuesL2Bitmap[dom][l1index_inverted], cpu))) { 81 NODE_STATE_ON_CORE(ksReadyQueuesL1Bitmap[dom], cpu) &= ~BIT(l1index); 397 /* reschedule current cpu if tcb moves itself */
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | config.guess | 668 long cpu = sysconf (_SC_CPU_VERSION); 670 switch (cpu) 728 long cpu = sysconf (_SC_CPU_VERSION); 732 if (CPU_IS_PA_RISC (cpu)) 734 switch (cpu) 742 else if (CPU_IS_HP_MC68K (cpu)) 919 case `sed -n '/^cpu model/s/^.*: \(.*\)/\1/p' < /proc/cpuinfo` in 1020 case `grep '^cpu[^a-z]*:' /proc/cpuinfo 2>/dev/null | cut -d' ' -f2` in
|
H A D | configure | 17218 cputype=`(((grep cpu /proc/cpuinfo | cut -d: -f2) ; ($PRTDIAG -v |grep -i sparc) ; grep -i cpu /var/run/dmesg.boot ) | head -n 1) 2> /dev/null` 17241 cputype=`((grep cpu /proc/cpuinfo | head -n 1 | cut -d: -f2 | cut -d, -f1 | sed 's/ //g') ; /usr/bin/machine ; /bin/machine; grep CPU /var/run/dmesg.boot | head -n 1 | cut -d" " -f2) 2> /dev/null`
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | config.guess | 668 long cpu = sysconf (_SC_CPU_VERSION); 670 switch (cpu) 728 long cpu = sysconf (_SC_CPU_VERSION); 732 if (CPU_IS_PA_RISC (cpu)) 734 switch (cpu) 742 else if (CPU_IS_HP_MC68K (cpu)) 919 case `sed -n '/^cpu model/s/^.*: \(.*\)/\1/p' < /proc/cpuinfo` in 1020 case `grep '^cpu[^a-z]*:' /proc/cpuinfo 2>/dev/null | cut -d' ' -f2` in
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | logic.py | 197 cpu = known_CPUs[cpu_name] 201 return cpu (var_c_args, var_c_rets, c_imem, c_omem, 233 def mk_pairing (functions, c_f, as_f, prunes = None, cpu = None): 235 if cpu: 236 eqs = mk_fun_eqs_CPU (fs[0], fs[1], cpu,
|
Completed in 101 milliseconds
12