/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | util.h | 40 #include <utils/time.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/ |
H A D | tsc.c | 14 #include <utils/time.h>
|
/seL4-refos-master/libs/libplatsupport/src/arch/x86/ |
H A D | tsc.c | 14 #include <utils/time.h>
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | hpet.c | 163 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 D | hpet.c | 163 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 D | hacklib.c | 447 * 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 D | allmain.c | 70 /* 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 D | hacklib.c | 447 * 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 D | notifications.tex | 40 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 D | snake.c | 26 #include <time.h> 215 srand(time(NULL));
|
/seL4-refos-master/apps/snake/src/ |
H A D | snake.c | 26 #include <time.h> 215 srand(time(NULL));
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | syslog.c | 6 #include <time.h> 98 now = time(NULL);
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_timer.c | 17 #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 D | amiconf.h | 14 #include <time.h> /* get time_t defined before use! */
|
H A D | pcconf.h | 126 * 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 D | vmsconf.h | 13 * 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 D | sys_timer.c | 17 #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 D | amiconf.h | 14 #include <time.h> /* get time_t defined before use! */
|
H A D | pcconf.h | 126 * 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 D | vmsconf.h | 13 * 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 D | wcsftime.c | 2 #include <time.h>
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 14 * 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 D | ltimer.c | 93 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 D | ltimer.c | 14 * 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 D | ltimer.c | 93 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 */
|