Searched refs:time (Results 1 - 25 of 207) sorted by relevance
123456789
| /seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/src/signal/ |
| H A D | getitimer.c | 1 #include <sys/time.h>
|
| H A D | setitimer.c | 1 #include <sys/time.h>
|
| /seL4-refos-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-refos-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-refos-master/libs/libmuslc/include/sys/ |
| H A D | timeb.h | 12 time_t time; member in struct:timeb
|
| H A D | timerfd.h | 8 #include <time.h>
|
| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | sleep.c | 2 #include <time.h>
|
| H A D | usleep.c | 3 #include <time.h>
|
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | pmic_rtc.c | 46 /* We can set a 24 hour value for the time, but the RTC always gives us back
85 pmic_rtc_set_tval(pmic_rtc_t* dev, int base, const struct rtc_time* time) argument
88 count = pmic_rtc_reg_write(dev, base, time, sizeof(*time));
89 return !(count == sizeof(*time));
93 pmic_rtc_get_tval(pmic_rtc_t* dev, int base, struct rtc_time* time) argument
96 count = pmic_rtc_reg_read(dev, base, time, sizeof(*time));
97 time->hour &= ~RTC_HOUR_PM;
98 return !(count == sizeof(*time));
138 pmic_rtc_get_time(pmic_rtc_t* pmic_rtc, struct rtc_time* time) argument
147 pmic_rtc_set_time(pmic_rtc_t* pmic_rtc, const struct rtc_time* time) argument
[all...] |
Completed in 79 milliseconds
123456789