Searched refs:time (Results 26 - 50 of 207) sorted by relevance

123456789

/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpmic_rtc.c46 /* 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 Darm_generic.h19 ticks_t time; local
20 SYSTEM_READ_64(CNT_CT, time);
21 return time;
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c51 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 Dsystem_timer.c51 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 Dltimer.c16 #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 Dltimer.c16 #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 Dltimer.c16 #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 Dltimer.c16 #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 Dbeconf.h24 #include <time.h> /* for time_t */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dbeconf.h24 #include <time.h> /* for time_t */
/seL4-refos-master/libs/libmuslc/src/select/
H A Dpoll.c2 #include <time.h>
/seL4-refos-master/libs/libmuslc/src/temp/
H A D__randname.c1 #include <time.h>
/seL4-refos-master/libs/libmuslc/src/time/
H A Dclock.c1 #include <time.h>
H A Dclock_getcpuclockid.c1 #include <time.h>
H A Dclock_nanosleep.c1 #include <time.h>
H A Dtimer_delete.c1 #include <time.h>
H A Dtimer_getoverrun.c1 #include <time.h>
H A Dtimer_gettime.c1 #include <time.h>
H A Dtimer_settime.c1 #include <time.h>
H A Dutime.c3 #include <time.h>
/seL4-refos-master/libs/libmuslc/src/unistd/
H A Dalarm.c2 #include <sys/time.h>
H A Dualarm.c3 #include <sys/time.h>
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dtime_manager.h16 * 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 Dtime_manager.h16 * 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 Dltimer.c35 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);

Completed in 105 milliseconds

123456789