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 78 milliseconds