Searched refs:seconds (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/musllibc/src/unistd/
H A Dsleep.c4 unsigned sleep(unsigned seconds) argument
6 struct timespec tv = { .tv_sec = seconds, .tv_nsec = 0 };
H A Dalarm.c5 unsigned alarm(unsigned seconds) argument
7 struct itimerval it = { .it_value.tv_sec = seconds };
/seL4-camkes-master/projects/camkes/apps/pit/components/Driver/src/
H A Ddriver.c21 static int seconds = 0; local
23 seconds++;
24 printf("%d seconds elapsed\n", seconds);
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dltimer.h306 static inline void ltimer_s_delay(ltimer_t *timer, uint64_t seconds) { argument
307 ltimer_ns_delay(timer, seconds * NS_IN_S);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_olsr.c259 static uint8_t seconds2olsr(uint32_t seconds) argument
262 /* olsr_dbg("seconds=%u\n", (uint16_t)seconds); */
264 if (seconds > 32767)
265 seconds = 32767;
267 /* find largest b such as seconds/C >= 2^b */
269 if ((uint16_t)(seconds * 16u) < (1u << b)) {
287 a = (uint16_t)(((uint16_t)seconds / den) - (uint16_t)1);
305 uint16_t seconds; local
311 seconds
[all...]
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_dhcp_d.tex21 \item \texttt{uint32\_t lease\_time} - the advertised lease time in seconds, defaults to 120 if not provided.
H A Dchap_api_dns_sd.tex33 \item \texttt{ttl} - TTL of the service on the network before it needs to be reconfirmed. In seconds.
H A Dchap_api_mdns.tex193 \item \texttt{ttl} - TTL of the resource record to be when registered on the network. In seconds.
/seL4-camkes-master/tools/cogent/regression/
H A Drun_tests.py198 time_taken = datetime.timedelta(seconds=int(time_taken.total_seconds()))

Completed in 112 milliseconds