Searched refs:duration (Results 1 - 11 of 11) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/benchmark/ |
H A D | benchmark_tracepoints_types.h | 23 seL4_Word duration; member in struct:benchmark_tracepoint_log_entry
|
H A D | benchmark_track_types.h | 67 uint32_t duration; member in struct:benchmark_syscall_log_entry
|
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
H A D | benchmark_tracepoints_types.h | 23 seL4_Word duration; member in struct:benchmark_tracepoint_log_entry
|
H A D | benchmark_track_types.h | 67 uint32_t duration; member in struct:benchmark_syscall_log_entry
|
/seL4-l4v-10.1.1/seL4/src/benchmark/ |
H A D | benchmark_track.c | 23 timestamp_t duration = 0; local 30 duration = ksExit - ksEnter; 33 ksLog[ksLogIndex].duration = duration;
|
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/ |
H A D | ml_statistics.scala | 89 val duration = if (ml_statistics.isEmpty) 0.0 else now(ml_statistics.last) - time_start 140 new ML_Statistics(heading, fields, content, time_start, duration) 149 val duration: Double) 168 case e :: es => sum(e.time, es, 0.0) / duration
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/ |
H A D | ml_statistics.scala | 89 val duration = if (ml_statistics.isEmpty) 0.0 else now(ml_statistics.last) - time_start 140 new ML_Statistics(heading, fields, content, time_start, duration) 149 val duration: Double) 168 case e :: es => sum(e.time, es, 0.0) / duration
|
/seL4-l4v-10.1.1/HOL4/src/taut/ |
H A D | tautLib.sml | 18 Set the parsers to a fixed grammar for the duration of this file.
|
/seL4-l4v-10.1.1/HOL4/examples/dev/booth/ |
H A D | boothDevScript.sml | 259 DURd returns the duration or the number of transitions
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | unix_specific.cpp | 1187 int duration = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local 1189 if (tcsendbreak(strm->device.ioDesc, duration) < 0)
|
/seL4-l4v-10.1.1/HOL4/src/num/termination/ |
H A D | TotalDefn.sml | 667 (* Turn off printing of messages by the HOL system for the duration of the *)
|
Completed in 155 milliseconds