Searched defs:best_time (Results 1 - 1 of 1) sorted by relevance
| /fuchsia/zircon/kernel/platform/pc/ | ||
| H A D | timer.cpp | 293 uint32_t best_time[2] = {UINT32_MAX, UINT32_MAX}; local 363 uint64_t best_time = UINT64_MAX; local 431 uint64_t best_time[2] = { local [all...] |
Completed in 25 milliseconds