Searched refs:ttc_get_time (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h102 uint64_t ttc_get_time(ttc_t *ttc);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c46 *time = ttc_get_time(&ttc_ltimer->ttcs[TIMESTAMP_IDX]);
H A Dtimer.c466 uint64_t ttc_get_time(ttc_t *ttc) function

Completed in 83 milliseconds