/seL4-refos-master/projects/util_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...] |
/seL4-refos-master/kernel/include/drivers/timer/ |
H A D | arm_generic.h | 19 ticks_t time; local 20 SYSTEM_READ_64(CNT_CT, time); 21 return time;
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | system_timer.c | 51 uint64_t time = ticks * SYSTEM_TIMER_NS_PER_TICK; local 53 return time; 62 uint64_t time = system_timer_get_time(timer); local 63 uint64_t ticks = time / SYSTEM_TIMER_NS_PER_TICK; 79 time = system_timer_get_time(timer); 80 if (time >= ns && !(timer->regs->ctrl & BIT(SYSTEM_TIMER_MATCH))) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | system_timer.c | 51 uint64_t time = ticks * SYSTEM_TIMER_NS_PER_TICK; local 53 return time; 62 uint64_t time = system_timer_get_time(timer); local 63 uint64_t ticks = time / SYSTEM_TIMER_NS_PER_TICK; 79 time = system_timer_get_time(timer); 80 if (time >= ns && !(timer->regs->ctrl & BIT(SYSTEM_TIMER_MATCH))) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 16 #include <utils/time.h> 25 * We use two sp804 timers: one to keep track of an absolute time, the other for timeouts. 35 static int get_time(void *data, uint64_t *time) argument 39 assert(time != NULL); 41 *time = sp804_get_time(&fvp_ltimer->sp804_timestamp); 48 uint64_t time; local 49 int error = get_time(data, &time); 53 if (time > ns) { 56 ns -= time;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 16 #include <utils/time.h> 25 * We use two sp804 timers: one to keep track of an absolute time, the other for timeouts. 35 static int get_time(void *data, uint64_t *time) argument 39 assert(time != NULL); 41 *time = sp804_get_time(&fvp_ltimer->sp804_timestamp); 48 uint64_t time; local 49 int error = get_time(data, &time); 53 if (time > ns) { 56 ns -= time;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 16 #include <utils/time.h> 26 * We use two dm timers: one to keep track of an absolute time, the other for timeouts. 35 static int get_time(void *data, uint64_t *time) argument 39 assert(time != NULL); 41 *time = dmt_get_time(&hikey_ltimer->dmt_timestamp); 48 uint64_t time; local 49 int error = get_time(data, &time); 53 if (time > ns) { 56 ns -= time;
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 16 #include <utils/time.h> 26 * We use two dm timers: one to keep track of an absolute time, the other for timeouts. 35 static int get_time(void *data, uint64_t *time) argument 39 assert(time != NULL); 41 *time = dmt_get_time(&hikey_ltimer->dmt_timestamp); 48 uint64_t time; local 49 int error = get_time(data, &time); 53 if (time > ns) { 56 ns -= time;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | beconf.h | 24 #include <time.h> /* for time_t */
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | beconf.h | 24 #include <time.h> /* for time_t */
|
/seL4-refos-master/libs/libmuslc/src/select/ |
H A D | poll.c | 2 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/src/temp/ |
H A D | __randname.c | 1 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | clock.c | 1 #include <time.h>
|
H A D | clock_getcpuclockid.c | 1 #include <time.h>
|
H A D | clock_nanosleep.c | 1 #include <time.h>
|
H A D | timer_delete.c | 1 #include <time.h>
|
H A D | timer_getoverrun.c | 1 #include <time.h>
|
H A D | timer_gettime.c | 1 #include <time.h>
|
H A D | timer_settime.c | 1 #include <time.h>
|
H A D | utime.c | 3 #include <time.h>
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | alarm.c | 2 #include <sys/time.h>
|
H A D | ualarm.c | 3 #include <sys/time.h>
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | time_manager.h | 16 * This file provides a time manager for managing time and timeouts. 18 * for use in time servers. 75 * the callback will be called ns time after this function is called. 96 * based on the passed in valid for time. 99 * @param time the current time. 103 int (*update_with_time)(void *data, uint64_t time); 106 * Get the current time in nanoseconds. 109 * @param[out] time memor 216 tm_get_time(time_manager_t *tm, uint64_t *time) argument 231 uint64_t time; local 240 tm_update_with_time(time_manager_t *tm, uint64_t time) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | time_manager.h | 16 * This file provides a time manager for managing time and timeouts. 18 * for use in time servers. 75 * the callback will be called ns time after this function is called. 96 * based on the passed in valid for time. 99 * @param time the current time. 103 int (*update_with_time)(void *data, uint64_t time); 106 * Get the current time in nanoseconds. 109 * @param[out] time memor 216 tm_get_time(time_manager_t *tm, uint64_t *time) argument 231 uint64_t time; local 240 tm_update_with_time(time_manager_t *tm, uint64_t time) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 38 assert(time != NULL); 41 *time = nv_tmr_get_time(&nv_tmr_ltimer->nv_tmr); 57 uint64_t time = nv_tmr_get_time(&nv_tmr_ltimer->nv_tmr); local 58 if (time >= ns) { 61 return nv_tmr_set_timeout(&nv_tmr_ltimer->nv_tmr, false, ns - time);
|