Searched defs:start_time (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/benchmark/ | ||
H A D | benchmark_track_types.h | 66 uint64_t start_time; member in struct:benchmark_syscall_log_entry |
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ | ||
H A D | benchmark_track_types.h | 66 uint64_t start_time; member in struct:benchmark_syscall_log_entry |
/seL4-l4v-10.1.1/HOL4/src/prekernel/ | ||
H A D | Lib.sml | 370 fun start_time () = Timer.startCPUTimer () function |
H A D | Lib.sig | 139 val start_time : unit -> Timer.cpu_timer value |
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ | ||
H A D | Useful.sml | 84 val start_time = Time.now () value |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
H A D | xwindows.cpp | 2807 TimeVal start_time,end_time,dt; local |
Completed in 124 milliseconds