Searched refs:current_time (Results 1 - 10 of 10) sorted by relevance
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/ |
H A D | tsc.c | 53 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 D | tsc.c | 53 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 D | ltimer.c | 54 uint64_t current_time = 0; local 55 int error = get_time(data, ¤t_time); 57 if (ns < current_time) { 60 ns -= current_time;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | ltimer.c | 54 uint64_t current_time = 0; local 55 int error = get_time(data, ¤t_time); 57 if (ns < current_time) { 60 ns -= current_time;
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | ltimer.c | 48 uint64_t current_time = 0; local 49 int error = get_time(data, ¤t_time); 51 ns -= current_time;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | ltimer.c | 48 uint64_t current_time = 0; local 49 int error = get_time(data, ¤t_time); 51 ns -= current_time;
|
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 115 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 D | ltimer.c | 115 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 D | ltimer.c | 54 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 D | ltimer.c | 54 uint64_t current_time = imx_get_time(&imx_ltimer->timers); local 55 ns -= current_time;
|
Completed in 202 milliseconds