Searched defs:duration (Results 1 - 6 of 6) 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 |
| /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 |
Completed in 95 milliseconds