Searched refs:time (Results 1 - 25 of 173) sorted by relevance
1234567
| /seL4-camkes-master/projects/musllibc/src/time/ |
| H A D | ctime.c | 1 #include <time.h>
|
| H A D | time.c | 1 #include <time.h>
6 time_t time(time_t *t) function
|
| H A D | difftime.c | 1 #include <time.h>
|
| H A D | asctime.c | 1 #include <time.h>
|
| H A D | asctime_r.c | 1 #include <time.h>
|
| H A D | clock_getres.c | 1 #include <time.h>
|
| H A D | clock_settime.c | 1 #include <time.h>
|
| H A D | ctime_r.c | 1 #include <time.h>
|
| H A D | nanosleep.c | 1 #include <time.h>
|
| H A D | ftime.c | 2 #include <time.h>
8 tp->time = ts.tv_sec;
|
| H A D | gettimeofday.c | 1 #include <time.h>
2 #include <sys/time.h>
|
| H A D | time_impl.h | 1 #include <time.h>
|
| H A D | timespec_get.c | 1 #include <time.h>
|
| /seL4-camkes-master/projects/musllibc/src/linux/ |
| H A D | stime.c | 2 #include <time.h>
3 #include <sys/time.h>
|
| H A D | settimeofday.c | 2 #include <sys/time.h>
|
| H A D | utimes.c | 1 #include <sys/time.h>
|
| /seL4-camkes-master/projects/musllibc/src/signal/ |
| H A D | getitimer.c | 1 #include <sys/time.h>
|
| H A D | setitimer.c | 1 #include <sys/time.h>
|
| /seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/ |
| H A D | alloc_free.c | 3 #include <time.h>
8 srand(time(NULL)); // should only be called once
|
| /seL4-camkes-master/kernel/include/64/mode/api/ |
| H A D | ipc_buffer.h | 17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
19 return setMR(thread, buffer, i, time);
|
| /seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/ |
| H A D | rumpuser_clock.c | 39 bmk_time_t time; local
41 time = bmk_platform_cpu_clock_monotonic();
45 time += bmk_platform_cpu_clock_epochoffset();
51 *sec = time / (1000*1000*1000ULL);
52 *nsec = time % (1000*1000*1000ULL);
|
| /seL4-camkes-master/tools/rumprun/tests/hello/ |
| H A D | hello.c | 3 #include <time.h>
23 now = time(NULL);
24 printf("When you do not hear the beep the time will be exactly:\n%s",
30 now = time(NULL);
|
| /seL4-camkes-master/kernel/include/32/mode/api/ |
| H A D | ipc_buffer.h | 18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
20 setMR(thread, buffer, i, (uint32_t) time);
21 return setMR(thread, buffer, i + 1, (uint32_t)(time >> 32llu));
|
| /seL4-camkes-master/projects/musllibc/include/sys/ |
| H A D | timeb.h | 12 time_t time; member in struct:timeb
|
| H A D | timerfd.h | 8 #include <time.h>
|
Completed in 145 milliseconds
1234567