Searched refs:time (Results 101 - 125 of 207) sorted by relevance

123456789

/seL4-refos-master/libs/libplatsupport/src/plat/hifive/
H A Dltimer.c14 * We use two pwms: one for the time and the other for timeouts.
120 static int get_time(void *data, uint64_t *time) argument
123 assert(time != NULL);
126 *time = pwm_get_time(&timers->pwm_ltimers[COUNTER_TIMER].pwm);
142 uint64_t time = pwm_get_time(&timers->pwm_ltimers[COUNTER_TIMER].pwm); local
143 if (time >= ns) {
146 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns - time, false);
H A Dpwm.c118 uint64_t time = num_ticks * (NS_IN_S / PWM_INPUT_FREQ); local
119 return time;
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c64 uint64_t time = 0; local
65 time = val1;
66 time <<= 32;
67 time |= val2;
68 return ((uint64_t)((time) * NS_IN_S) / 24000000ull);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c64 uint64_t time = 0; local
65 time = val1;
66 time <<= 32;
67 time |= val2;
68 return ((uint64_t)((time) * NS_IN_S) / 24000000ull);
/seL4-refos-master/libs/libplatsupport/src/
H A Dlocal_time_manager.c16 * for use in time servers.
48 static int get_time(void *data, uint64_t *time) argument
50 assert(data && time);
53 /* get the time */
54 return ltimer_get_time(state->ltimer, time);
79 ZF_LOGF_IF(ret, "failed to read time");
144 /* set it to slightly more than current time as we raced */
146 ZF_LOGF_IF(ret, "Failed to read time");
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c16 * for use in time servers.
48 static int get_time(void *data, uint64_t *time) argument
50 assert(data && time);
53 /* get the time */
54 return ltimer_get_time(state->ltimer, time);
79 ZF_LOGF_IF(ret, "failed to read time");
144 /* set it to slightly more than current time as we raced */
146 ZF_LOGF_IF(ret, "Failed to read time");
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dltimer.c105 uint64_t time = tsc_get_time(pc99_ltimer->pit.freq); local
106 if (time > pc99_ltimer->pit.abs_time) {
113 uint64_t ns = MIN(pc99_ltimer->pit.abs_time - time, PIT_MAX_NS);
127 // The whole time we are doing this we are of course losing time as we have to keep on
128 // retrying the timeout with a new notion of the current time, but there is nothing
166 static int hpet_ltimer_get_time(void *data, uint64_t *time) argument
169 assert(time != NULL);
172 *time = hpet_get_time(&pc99_ltimer->hpet.device);
176 static int pit_ltimer_get_time(void *data, uint64_t *time) argument
214 uint64_t time = tsc_get_time(pc99_ltimer->pit.freq); local
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c105 uint64_t time = tsc_get_time(pc99_ltimer->pit.freq); local
106 if (time > pc99_ltimer->pit.abs_time) {
113 uint64_t ns = MIN(pc99_ltimer->pit.abs_time - time, PIT_MAX_NS);
127 // The whole time we are doing this we are of course losing time as we have to keep on
128 // retrying the timeout with a new notion of the current time, but there is nothing
166 static int hpet_ltimer_get_time(void *data, uint64_t *time) argument
169 assert(time != NULL);
172 *time = hpet_get_time(&pc99_ltimer->hpet.device);
176 static int pit_ltimer_get_time(void *data, uint64_t *time) argument
214 uint64_t time = tsc_get_time(pc99_ltimer->pit.freq); local
[all...]
/seL4-refos-master/projects/refos/impl/apps/terminal/src/
H A Dterminal.c17 #include <time.h>
87 " time - Display the current system time.\n"
124 } else if (!strcmp(args[0], "time")) {
125 time_t rawTime = time(NULL);
128 printf("Raw epoch time is %llu\n", (uint64_t) rawTime);
129 printf("Current GMT time is %s", refos_print_time(gmtTime));
130 printf("Current local time (%s) is %s", getenv("TZ"), refos_print_time(localTime));
/seL4-refos-master/apps/terminal/src/
H A Dterminal.c17 #include <time.h>
87 " time - Display the current system time.\n"
124 } else if (!strcmp(args[0], "time")) {
125 time_t rawTime = time(NULL);
128 printf("Raw epoch time is %llu\n", (uint64_t) rawTime);
129 printf("Current GMT time is %s", refos_print_time(gmtTime));
130 printf("Current local time (%s) is %s", getenv("TZ"), refos_print_time(localTime));
/seL4-refos-master/seL4_tools/cmake-tool/simulate_scripts/
H A Dsimulate.py11 import time namespace
100 time.sleep(delay)
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dpwm.c118 uint64_t time = num_ticks * (NS_IN_S / PWM_INPUT_FREQ); local
119 return time;
/seL4-refos-master/libs/libutils/include/utils/
H A Dutil.h40 #include <utils/time.h>
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h127 uint64_t time = sel4bench_private_rdtsc(); local
130 return time;
175 uint64_t time = sel4bench_private_rdtsc(); local
178 return time;
/seL4-refos-master/libs/libmuslc/include/
H A Daio.h10 #include <time.h>
H A Dthreads.h5 #include <time.h>
/seL4-refos-master/libs/libmuslc/include/sys/
H A Dacct.h10 #include <time.h>
H A Dresource.h9 #include <sys/time.h>
/seL4-refos-master/libs/libmuslc/src/aio/
H A Daio_suspend.c3 #include <time.h>
/seL4-refos-master/libs/libmuslc/src/network/
H A Dres_mkquery.c3 #include <time.h>
/seL4-refos-master/libs/libmuslc/src/stat/
H A Dutimensat.c2 #include <sys/time.h>
/seL4-refos-master/libs/libmuslc/src/thread/
H A D__timedwait.c2 #include <time.h>
/seL4-refos-master/libs/libmuslc/src/time/
H A Dclock_gettime.c1 #include <time.h>
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Drtc.c18 #include <utils/time.h>
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Drtc.c18 #include <utils/time.h>

Completed in 97 milliseconds

123456789