Searched defs:dmt_get_time (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c158 uint64_t dmt_get_time(dmt_t *dmt) function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c177 uint64_t dmt_get_time(dmt_t *dmt) function

Completed in 27 milliseconds