Searched refs:cpu (Results 26 - 33 of 33) sorted by relevance

12

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Dmarkup.scala353 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 Dbuild_log.scala507 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 Dbuild_log.scala507 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 Dtcb.c55 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 Dconfig.guess668 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 Dconfigure17218 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 Dconfig.guess668 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 Dlogic.py197 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