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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c80 ttc_start(&ttc_ltimer->ttcs[TIMEOUT_IDX]);
82 ttc_start(&ttc_ltimer->ttcs[TIMESTAMP_IDX]);
159 error = ttc_start(&ttc_ltimer->ttcs[TIMEOUT_IDX]);
177 error = ttc_start(&ttc_ltimer->ttcs[TIMESTAMP_IDX]);
H A Dtimer.c384 int ttc_start(ttc_t *ttc) function
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h96 int ttc_start(ttc_t *ttc);

Completed in 44 milliseconds