Searched refs:l4_ipc_wait (Results 1 – 5 of 5) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | ipc.h | 260 l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *label,
496 l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *src, in l4_ipc_wait() function
|
| /l4re-core-master/sigma0/server/src/ |
| A D | memmap.cc | 266 tag = l4_ipc_wait(utcb, &t, L4_IPC_NEVER); in pager()
|
| /l4re-core-master/l4sys/include/cxx/ |
| A D | ipc_server_loop | 379 return l4_ipc_wait(utcb, p, this->timeout());
|
| /l4re-core-master/uclibc/lib/libpthread/src/ |
| A D | manager.cc | 156 tag = l4_ipc_wait(l4_utcb(), &src, L4_IPC_NEVER); in __pthread_manager()
|
| /l4re-core-master/cxx/lib/ipc/include/ |
| A D | ipc_stream | 1021 res = l4_ipc_wait(_utcb, src, timeout);
|
Completed in 12 milliseconds