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

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

Completed in 24 milliseconds