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

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h95 int ttc_destroy(ttc_t *ttc);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c96 error = ttc_destroy(&ttc_ltimer->ttcs[TIMEOUT_IDX]);
101 error = ttc_destroy(&ttc_ltimer->ttcs[TIMESTAMP_IDX]);
H A Dtimer.c591 ZF_LOGF_IF(ttc_destroy(ttc), CLEANUP_FAIL_TEXT);
599 ZF_LOGF_IF(ttc_destroy(ttc), CLEANUP_FAIL_TEXT);
607 ZF_LOGF_IF(ttc_destroy(ttc), CLEANUP_FAIL_TEXT);
636 int ttc_destroy(ttc_t *ttc) function

Completed in 33 milliseconds