Searched refs:meson_get_time (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/odroidc2/platsupport/plat/
H A Dmeson_timer.h98 uint64_t meson_get_time(meson_timer_t *timer);
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c35 uint64_t meson_get_time(meson_timer_t *timer) function
H A Dltimer.c100 *time = meson_get_time(&odroidc2_timer->meson_timer);
119 current_time = meson_get_time(&odroidc2_timer->meson_timer);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/
H A Dmeson_timer.h98 uint64_t meson_get_time(meson_timer_t *timer);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c35 uint64_t meson_get_time(meson_timer_t *timer) function
H A Dltimer.c100 *time = meson_get_time(&odroidc2_timer->meson_timer);
119 current_time = meson_get_time(&odroidc2_timer->meson_timer);

Completed in 81 milliseconds