Searched refs:current_time (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c53 uint64_t current_time = pit_get_time(pit); local
54 if (current_time > last_time) {
57 last_absolute = wait_ns - current_time + time_offset;
58 last_time = current_time;
/seL4-refos-master/libs/libplatsupport/src/arch/x86/
H A Dtsc.c53 uint64_t current_time = pit_get_time(pit); local
54 if (current_time > last_time) {
57 last_absolute = wait_ns - current_time + time_offset;
58 last_time = current_time;
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dltimer.c54 uint64_t current_time = 0; local
55 int error = get_time(data, &current_time);
57 if (ns < current_time) {
60 ns -= current_time;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dltimer.c54 uint64_t current_time = 0; local
55 int error = get_time(data, &current_time);
57 if (ns < current_time) {
60 ns -= current_time;
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dltimer.c48 uint64_t current_time = 0; local
49 int error = get_time(data, &current_time);
51 ns -= current_time;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dltimer.c48 uint64_t current_time = 0; local
49 int error = get_time(data, &current_time);
51 ns -= current_time;
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c115 uint64_t current_time; local
119 current_time = meson_get_time(&odroidc2_timer->meson_timer);
120 if (current_time > ns) {
121 ZF_LOGE("Timeout in the past: now %lu, timeout %lu", current_time, ns);
123 } else if ((ns - current_time) / NS_IN_MS > UINT16_MAX) {
128 timeout = (ns - current_time) / NS_IN_MS;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c115 uint64_t current_time; local
119 current_time = meson_get_time(&odroidc2_timer->meson_timer);
120 if (current_time > ns) {
121 ZF_LOGE("Timeout in the past: now %lu, timeout %lu", current_time, ns);
123 } else if ((ns - current_time) / NS_IN_MS > UINT16_MAX) {
128 timeout = (ns - current_time) / NS_IN_MS;
/seL4-refos-master/libs/libplatsupport/src/mach/imx/
H A Dltimer.c54 uint64_t current_time = imx_get_time(&imx_ltimer->timers); local
55 ns -= current_time;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dltimer.c54 uint64_t current_time = imx_get_time(&imx_ltimer->timers); local
55 ns -= current_time;

Completed in 202 milliseconds