Searched refs:timing_cpu (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/isabelle/Admin/bash_process/ |
| H A D | bash_process.c | 78 long long timing_cpu = local
84 fprintf(timing_file, "%lld %lld", timing_elapsed, timing_cpu);
|
| /seL4-l4v-master/l4v/isabelle/Admin/bash_process/ |
| H A D | bash_process.c | 78 long long timing_cpu = local
84 fprintf(timing_file, "%lld %lld", timing_elapsed, timing_cpu);
|
| /seL4-l4v-master/isabelle/src/Pure/Admin/ |
| H A D | build_status.scala | 114 "timing_cpu",
240 Build_Log.Data.timing_cpu,
307 Build_Log.Data.timing_cpu,
|
| H A D | build_log.scala | 708 val timing_cpu = SQL.Column.long("timing_cpu")
730 List(log_name, session_name, chapter, groups, threads, timing_elapsed, timing_cpu,
1180 timing = res.timing(Data.timing_elapsed, Data.timing_cpu, Data.timing_gc),
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_status.scala | 114 "timing_cpu",
240 Build_Log.Data.timing_cpu,
307 Build_Log.Data.timing_cpu,
|
| H A D | build_log.scala | 708 val timing_cpu = SQL.Column.long("timing_cpu")
730 List(log_name, session_name, chapter, groups, threads, timing_elapsed, timing_cpu,
1180 timing = res.timing(Data.timing_elapsed, Data.timing_cpu, Data.timing_gc),
|
Completed in 55 milliseconds