Searched refs:duration (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_tracepoints_types.h23 seL4_Word duration; member in struct:benchmark_tracepoint_log_entry
H A Dbenchmark_track_types.h67 uint32_t duration; member in struct:benchmark_syscall_log_entry
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dbenchmark_tracepoints_types.h23 seL4_Word duration; member in struct:benchmark_tracepoint_log_entry
H A Dbenchmark_track_types.h67 uint32_t duration; member in struct:benchmark_syscall_log_entry
/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_track.c23 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 Dml_statistics.scala89 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 Dml_statistics.scala89 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 DtautLib.sml18 Set the parsers to a fixed grammar for the duration of this file.
/seL4-l4v-10.1.1/HOL4/examples/dev/booth/
H A DboothDevScript.sml259 DURd returns the duration or the number of transitions
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp1187 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 DTotalDefn.sml667 (* Turn off printing of messages by the HOL system for the duration of the *)

Completed in 155 milliseconds