Searched refs:dmt_get_ticks (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h78 uint64_t dmt_get_ticks(dmt_t *dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h78 uint64_t dmt_get_ticks(dmt_t *dmt);
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c170 uint64_t dmt_get_ticks(dmt_t *dmt) function
186 low = UINT32_MAX - dmt_get_ticks(dmt);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c170 uint64_t dmt_get_ticks(dmt_t *dmt) function
186 low = UINT32_MAX - dmt_get_ticks(dmt);

Completed in 79 milliseconds