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

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h94 int ttc_init(ttc_t *ttc, ttc_config_t config);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c150 error = ttc_init(&ttc_ltimer->ttcs[TIMEOUT_IDX], config);
167 error = ttc_init(&ttc_ltimer->ttcs[TIMESTAMP_IDX], config_timestamp);
H A Dtimer.c569 int ttc_init(ttc_t *ttc, ttc_config_t config) function

Completed in 77 milliseconds