Searched refs:dmt_destroy (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dltimer.c81 dmt_destroy(&dmt_ltimer->dmt_timeout);
82 dmt_destroy(&dmt_ltimer->dmt_timestamp);
H A Dtimer.c178 void dmt_destroy(dmt_t *dmt) function
213 dmt_destroy(dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dltimer.c81 dmt_destroy(&dmt_ltimer->dmt_timeout);
82 dmt_destroy(&dmt_ltimer->dmt_timestamp);
H A Dtimer.c178 void dmt_destroy(dmt_t *dmt) function
213 dmt_destroy(dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dltimer.c80 dmt_destroy(&hikey_ltimer->dmt_timestamp);
81 dmt_destroy(&hikey_ltimer->dmt_timeout);
H A Ddmt.c198 void dmt_destroy(dmt_t *dmt) function
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Dltimer.c80 dmt_destroy(&hikey_ltimer->dmt_timestamp);
81 dmt_destroy(&hikey_ltimer->dmt_timeout);
H A Ddmt.c198 void dmt_destroy(dmt_t *dmt) function
/seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h89 void dmt_destroy(dmt_t *dmt);
/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h79 void dmt_destroy(dmt_t *dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h89 void dmt_destroy(dmt_t *dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h79 void dmt_destroy(dmt_t *dmt);

Completed in 36 milliseconds