Searched defs:current_time (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c53 uint64_t current_time = pit_get_time(pit); local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dltimer.c54 uint64_t current_time = imx_get_time(&imx_ltimer->timers); local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dltimer.c54 uint64_t current_time = 0; local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dltimer.c48 uint64_t current_time = 0; local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c115 uint64_t current_time; local

Completed in 81 milliseconds