Searched refs:request_exit_echo (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | udp_client.c | 25 static void request_exit_echo(pico_time now, void *arg) function 36 if (!pico_timer_add(1000, request_exit_echo, s)) { 37 printf("Failed to start request_exit_echo timer, sending request now\n"); 38 request_exit_echo((pico_time)0, NULL); 53 if (!pico_timer_add(1000, request_exit_echo, s)) { 54 printf("Failed to start request_exit_echo timer, sending request now\n"); 55 request_exit_echo((pico_time)0, NULL); 79 request_exit_echo((pico_time)0, NULL); 260 request_exit_echo((pico_time)0, NULL);
|
Completed in 25 milliseconds