Searched refs:wait (Results 1 - 25 of 70) sorted by relevance
123
| /seL4-camkes-master/projects/musllibc/src/process/ |
| H A D | wait.c | 1 #include <sys/wait.h>
3 pid_t wait(int *status) function
|
| H A D | waitpid.c | 1 #include <sys/wait.h>
|
| H A D | waitid.c | 1 #include <sys/wait.h>
|
| /seL4-camkes-master/projects/musllibc/include/ |
| H A D | wait.h | 1 #warning redirecting incorrect #include <wait.h> to <sys/wait.h>
2 #include <sys/wait.h>
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
| H A D | semaphore.h | 4 #include <mini-os/wait.h>
15 struct wait_queue_head wait; member in struct:semaphore
30 .wait = __WAIT_QUEUE_HEAD_INITIALIZER((name).wait) \
46 minios_init_waitqueue_head(&sem->wait);
68 minios_wait_event(sem->wait, sem->count > 0);
83 minios_wake_up(&sem->wait);
|
| H A D | netfront.h | 4 #include <mini-os/wait.h>
|
| /seL4-camkes-master/projects/musllibc/src/linux/ |
| H A D | wait3.c | 2 #include <sys/wait.h>
|
| H A D | wait4.c | 2 #include <sys/wait.h>
|
| /seL4-camkes-master/projects/picotcp/test/python/ |
| H A D | http_server_linux.py | 12 wait(h2)
|
| H A D | noop.py | 13 wait(h2)
|
| H A D | ping_linux.py | 13 wait(h2)
|
| H A D | tcpbench_rx_linux.py | 13 wait(h2)
|
| H A D | tcpbench_tx_linux.py | 14 wait(h3)
|
| H A D | tcpecho_linux.py | 14 #wait(h3)
15 wait(h2)
|
| H A D | udpecho.py | 15 wait(echo)
|
| H A D | fairness_bottleneck.py | 43 wait(send1)
44 wait(send2)
45 wait(send3)
|
| H A D | fairness_bottleneck_linux.py | 43 wait(send1)
44 wait(send2)
45 wait(send3)
|
| H A D | ping.py | 13 wait(h2)
|
| H A D | ping_delay.py | 13 wait(h2)
|
| H A D | ping_nat.py | 16 wait(h1)
|
| H A D | tcpbench-delay.py | 17 wait(send1)
|
| H A D | tcpbench-tap.py | 16 wait(send1)
|
| H A D | tcpbench.py | 16 wait(send1)
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | msgqueue_template.h | 33 void (*wait)(void); member in struct:camkes_msgqueue_channel::__anon3::__anon4
46 size_t message_size, int (*poll)(void), void (*wait)(void));
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | msgqueue_template.c | 85 size_t buffer_size, size_t message_size, int (*poll)(void), void (*wait)(void))
92 if (!poll || !wait) {
93 ZF_LOGE("Registering a receiver msgqueue channel with empty 'poll' and 'wait' function pointers");
101 camkes_msgqueue_channels[msgqueue_id].receiver_funcs.wait = wait;
84 camkes_msgqueue_channel_register_receiver(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size, size_t message_size, int (*poll)(void), void (*wait)(void)) argument
|
Completed in 50 milliseconds
123