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 179 milliseconds
123456789