Searched refs:time (Results 126 - 150 of 207) sorted by relevance

123456789

/seL4-refos-master/projects/util_libs/libutils/include/utils/
H A Dutil.h40 #include <utils/time.h>
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c14 #include <utils/time.h>
/seL4-refos-master/libs/libplatsupport/src/arch/x86/
H A Dtsc.c14 #include <utils/time.h>
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dhpet.c163 uint64_t time; local
166 time = *hpet_get_main_counter(hpet->base_addr);
169 } while (CONFIG_WORD_SIZE == 32 && ((uint32_t) (time >> 32llu)) != ((uint32_t *)hpet_get_main_counter(hpet->base_addr))[1]);
171 return time * hpet->period_ns;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dhpet.c163 uint64_t time; local
166 time = *hpet_get_main_counter(hpet->base_addr);
169 } while (CONFIG_WORD_SIZE == 32 && ((uint32_t) (time >> 32llu)) != ((uint32_t *)hpet_get_main_counter(hpet->base_addr))[1]);
171 return time * hpet->period_ns;
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dhacklib.c447 * The time is used for:
467 srandom((unsigned int) time((time_t *)0));
474 srandom((int) time((long *)0));
476 srandom((int) time((time_t *)0));
480 srand48((long) time((time_t *)0));
482 srand((int) time((time_t *)0));
494 (void) time((long *)(&date));
496 (void) time(&date);
568 * years in Metonic cycle (time until same phases fall on the same days of
H A Dallmain.c70 /* actual time passed */
98 /* calculate how much time passed. */
144 if(flags.time && !flags.run)
294 /* once-per-hero-took-time things go here */
298 } /* actual time passed */
393 if (flags.time) flags.botl = 1;
413 else if (flags.time && (!flags.move || !flags.mv))
420 if (flags.time && flags.run) flags.botl = 1;
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dhacklib.c447 * The time is used for:
467 srandom((unsigned int) time((time_t *)0));
474 srandom((int) time((long *)0));
476 srandom((int) time((time_t *)0));
480 srand48((long) time((time_t *)0));
482 srand((int) time((time_t *)0));
494 (void) time((long *)(&date));
496 (void) time(&date);
568 * years in Metonic cycle (time until same phases fall on the same days of
/seL4-refos-master/kernel/manual/parts/
H A Dnotifications.tex40 zero at the time \apifunc{seL4\_Wait}{sel4_wait} is called, the
49 If threads are waiting on the \obj{Notification} object at the time
52 next time the notification is signalled.
/seL4-refos-master/projects/refos/impl/apps/snake/src/
H A Dsnake.c26 #include <time.h>
215 srand(time(NULL));
/seL4-refos-master/apps/snake/src/
H A Dsnake.c26 #include <time.h>
215 srand(time(NULL));
/seL4-refos-master/libs/libmuslc/src/misc/
H A Dsyslog.c6 #include <time.h>
98 now = time(NULL);
/seL4-refos-master/libs/librefossys/src/
H A Dsys_timer.c17 #include <time.h>
76 seL4_DebugPrintf("WARNING: sys_clock_gettime CPU time feature not supported.\n");
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Damiconf.h14 #include <time.h> /* get time_t defined before use! */
H A Dpcconf.h126 * include the delay routines in the code (and thus, provides a compile time
131 * Whereas on the VMS and unix, flags.nap is a run-time option controlling
133 * simply a flag to turn on or off napping for visual effects at run-time.
136 #define TIMED_DELAY /* enable the `timed_delay' run-time option */
215 #include <time.h>
H A Dvmsconf.h13 * HACKDIR can be overridden at run-time with the logical name HACKDIR, as in
106 #define TIMED_DELAY /* enable the `timed_delay' run-time option */
199 #include <time.h>
200 #if 0 /* <file.h> is missing for old gcc versions; skip it to save time */
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_timer.c17 #include <time.h>
76 seL4_DebugPrintf("WARNING: sys_clock_gettime CPU time feature not supported.\n");
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Damiconf.h14 #include <time.h> /* get time_t defined before use! */
H A Dpcconf.h126 * include the delay routines in the code (and thus, provides a compile time
131 * Whereas on the VMS and unix, flags.nap is a run-time option controlling
133 * simply a flag to turn on or off napping for visual effects at run-time.
136 #define TIMED_DELAY /* enable the `timed_delay' run-time option */
215 #include <time.h>
H A Dvmsconf.h13 * HACKDIR can be overridden at run-time with the logical name HACKDIR, as in
106 #define TIMED_DELAY /* enable the `timed_delay' run-time option */
199 #include <time.h>
200 #if 0 /* <file.h> is missing for old gcc versions; skip it to save time */
/seL4-refos-master/libs/libmuslc/src/time/
H A Dwcsftime.c2 #include <time.h>
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c14 * We use two GPTS: one for the time and relative timeouts, the other
121 static int get_time(void *data, uint64_t *time) argument
124 assert(time != NULL);
127 *time = system_timer_get_time(&spt_ltimer->system);
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c93 static int get_time(void *data, uint64_t *time) argument
95 assert(time);
100 *time = meson_get_time(&odroidc2_timer->meson_timer);
143 /* The timer tick includes 0, i.e. one unit of time greater than the value written */
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c14 * We use two GPTS: one for the time and relative timeouts, the other
121 static int get_time(void *data, uint64_t *time) argument
124 assert(time != NULL);
127 *time = system_timer_get_time(&spt_ltimer->system);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c93 static int get_time(void *data, uint64_t *time) argument
95 assert(time);
100 *time = meson_get_time(&odroidc2_timer->meson_timer);
143 /* The timer tick includes 0, i.e. one unit of time greater than the value written */

Completed in 108 milliseconds

123456789