Searched defs:generic_timer_get_time (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ | ||
| H A D | generic_timer.c | 23 uint64_t generic_timer_get_time(generic_timer_t *timer) function |
Completed in 69 milliseconds