/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 14 * 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 D | pwm.c | 118 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 D | timer.c | 64 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 D | timer.c | 64 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 D | local_time_manager.c | 16 * 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 D | local_time_manager.c | 16 * 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 D | ltimer.c | 105 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 D | ltimer.c | 105 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 D | terminal.c | 17 #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 D | terminal.c | 17 #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 D | simulate.py | 11 import time namespace 100 time.sleep(delay)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | pwm.c | 118 uint64_t time = num_ticks * (NS_IN_S / PWM_INPUT_FREQ); local 119 return time;
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | util.h | 40 #include <utils/time.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | sel4bench.h | 127 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 D | aio.h | 10 #include <time.h>
|
H A D | threads.h | 5 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/include/sys/ |
H A D | acct.h | 10 #include <time.h>
|
H A D | resource.h | 9 #include <sys/time.h>
|
/seL4-refos-master/libs/libmuslc/src/aio/ |
H A D | aio_suspend.c | 3 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | res_mkquery.c | 3 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/src/stat/ |
H A D | utimensat.c | 2 #include <sys/time.h>
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | __timedwait.c | 2 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | clock_gettime.c | 1 #include <time.h>
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | rtc.c | 18 #include <utils/time.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | rtc.c | 18 #include <utils/time.h>
|