/seL4-camkes-master/tools/rumprun/tests/hello/ |
H A D | hello.c | 16 time_t now; local 23 now = time(NULL); 25 ctime(&now)); 30 now = time(NULL); 31 printf("Goodbye, world, precisely at:\n%s", ctime(&now));
|
/seL4-camkes-master/projects/picotcp/include/arch/ |
H A D | pico_linux.h | 11 #define pico_zalloc(x) kcalloc(x, 1, GFP_ATOMIC) /* All allocations are GFP_ATOMIC for now */ 27 unsigned long now = jiffies; local 28 while (now == jiffies) {
|
H A D | pico_esp8266.h | 53 uint32_t now = esp_tick; local 54 while (now == esp_tick)
|
H A D | pico_pic32.h | 49 unsigned int now = pico_ms_tick; local 50 while(now == pico_ms_tick) ;
|
H A D | pico_generic_gcc.h | 73 pico_time now = PICO_TIME_MS(); local 74 while(now == PICO_TIME_MS()) ; 110 unsigned int now = pico_ms_tick; local 111 while(now == pico_ms_tick) ;
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/ |
H A D | clock.c | 30 * For now, we are using the ltimer implementation in libplatsupport 40 bmk_time_t now = 0; local 44 now = simple_timer_config->interface.time(); 46 UNUSED int err = ltimer_get_time(&simple_timer_config->ltimer.ltimer, (uint64_t *) &now); 49 return now;
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | clock.c | 76 bmk_time_t now, delta_ns; local 83 now = bmk_platform_cpu_clock_monotonic(); 84 if (until <= now) { 89 * Compute the delta between time to wake and now. Setup a timeout via RPC to the 92 delta_ns = until - now;
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | timeouts.c | 234 u32_t now; local 243 now = sys_now(); 245 if (TIME_LESS_THAN(next_timeout_time, now)) { 248 sys_timeout_abs((u32_t)(now + cyclic->interval_ms), lwip_cyclic_timer, arg, cyclic->handler_name); 250 sys_timeout_abs((u32_t)(now + cyclic->interval_ms), lwip_cyclic_timer, arg); 354 u32_t now; local 359 now = sys_now(); 373 if (TIME_LESS_THAN(now, tmptimeout->time)) { 406 u32_t now; local 414 now 428 u32_t now; local [all...] |
/seL4-camkes-master/tools/rumprun/tests/cmake/ |
H A D | test.c | 14 #error Should not have epoll. In case NetBSD now has epoll, please update test.
|
/seL4-camkes-master/tools/rumprun/tests/configure/ |
H A D | test.c | 14 #error Should not have epoll. In case NetBSD now has epoll, please update test.
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | utils.h | 21 extern void deferred_exit(pico_time now, void *arg);
|
H A D | sntp.c | 7 void sntp_timeout(pico_time __attribute__((unused)) now, void *arg) argument
|
H A D | udpnat.c | 10 void udpnatclient_send(pico_time __attribute__((unused)) now, void *arg) argument 31 printf("Failed to start exit timer, exiting now\n"); 58 void udpnatclient_open_socket(pico_time __attribute__((unused)) now, void __attribute__((unused)) *arg) argument 84 printf("Failed to start send timer, exiting now\n"); 89 printf("Failed to start open_socket timer, exiting now\n"); 142 printf("Failed to start send timer, exiting now\n"); 147 printf("Failed to start open_socket timer, exiting now\n");
|
H A D | ping.c | 42 void ping_abort_timer(pico_time now, void *_id) argument
|
H A D | udp_client.c | 25 static void request_exit_echo(pico_time now, void *arg) argument 32 printf("Failed to start exit timer, exiting now\n"); 37 printf("Failed to start request_exit_echo timer, sending request now\n"); 45 void udpclient_send(pico_time __attribute__((unused)) now, void __attribute__((unused)) *arg) argument 54 printf("Failed to start request_exit_echo timer, sending request now\n");
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_aodv.c | 147 pico_time now; local 172 now = PICO_TIME_MS(); 174 pico_aodv_dbg("Forwarding %s: last fwd_time: %lu now: %lu ttl: %d ==== \n", reply ? "REPLY" : "REQUEST", orig->fwd_time, now, info->ttl); 175 if (((orig->fwd_time == 0) || ((now - orig->fwd_time) > AODV_NODE_TRAVERSAL_TIME)) && (--info->ttl > 0)) { 176 orig->fwd_time = now; 190 pico_time now = PICO_TIME_MS(); local 192 node->last_seen = now; 194 if ((now - node->last_seen) > AODV_ACTIVE_ROUTE_TIMEOUT) 197 lifetime = AODV_ACTIVE_ROUTE_TIMEOUT - (uint32_t)(now 245 aodv_reverse_path_discover(pico_time now, void *arg) argument 468 aodv_retrans_rreq(pico_time now, void *arg) argument 583 pico_aodv_collector(pico_time now, void *arg) argument [all...] |
H A D | pico_slaacv4.c | 97 static void pico_slaacv4_send_announce_timer(pico_time now, void *arg) argument 105 (void)now; 128 static void pico_slaacv4_send_probe_timer(pico_time now, void *arg) argument 131 (void)now;
|
H A D | pico_arp.c | 49 static void update_max_arp_reqs(pico_time now, void *unused) argument 51 IGNORE_PARAMETER(now); 254 static void arp_expire(pico_time now, void *_stale) argument 257 if (now >= (stale->timestamp + PICO_ARP_TIMEOUT)) { 264 if (!pico_timer_add(PICO_ARP_TIMEOUT + stale->timestamp - now, arp_expire, stale)) {
|
H A D | pico_icmp4.c | 258 static void ping_timeout(pico_time now, void *arg) argument 261 IGNORE_PARAMETER(now); 280 static void next_ping(pico_time now, void *arg); 309 static void next_ping(pico_time now, void *arg) argument 312 IGNORE_PARAMETER(now);
|
H A D | pico_ipv6_nd.c | 841 static void pico_6lp_nd_register_try(pico_time now, void *arg) argument 845 IGNORE_PARAMETER(now); 864 static void pico_6lp_nd_do_solicit(pico_time now, void *arg) argument 868 IGNORE_PARAMETER(now); 1195 pico_time now = PICO_TIME_MS(); local 1236 pico_ipv6_lifetime_set(link, now + (1000 * (pico_time)(long_be(prefix->val_lifetime)))); 1243 pico_ipv6_lifetime_set(link, now + (1000 * (pico_time)(long_be(prefix->val_lifetime)))); 1388 static void pico_ipv6_nd_timer_elapsed(pico_time now, struct pico_ipv6_neighbor *n) argument 1390 (void)now; 1424 static void pico_ipv6_nd_timer_callback(pico_time now, voi argument 1446 pico_ipv6_nd_ra_timer_callback(pico_time now, void *arg) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | syslog.c | 85 time_t now; local 98 now = time(NULL); 99 gmtime_r(&now, &tm);
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | time.c | 125 uint64_t now, delta; local 126 rdtscll(now); 127 delta = now - shadow.tsc_timestamp;
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_stack.c | 23 void fake_timer(pico_time __attribute__((unused)) now, void __attribute__((unused)) *n); 72 void fake_timer(pico_time __attribute__((unused)) now, void __attribute__((unused)) *n) argument
|
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/ |
H A D | clock.c | 477 bmk_time_t now, delta_ns; local 488 now = bmk_platform_cpu_clock_monotonic(); 489 if (until <= now) 497 delta_ns = until - now; 535 * and no other, but this will do for now.
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | run_tests.py | 134 start_time = datetime.datetime.now() 151 return (False, "ERROR", output, datetime.datetime.now() - start_time, peak_mem_usage) 182 return (process.returncode == 0, status, output, datetime.datetime.now() - start_time, peak_mem_usage)
|