Searched refs:l4_ipc_reply_and_wait (Results 1 – 5 of 5) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | ipc.h | 334 l4_ipc_reply_and_wait(l4_utcb_t *utcb, l4_msgtag_t tag,
471 l4_ipc_reply_and_wait(l4_utcb_t *utcb, l4_msgtag_t tag, in l4_ipc_reply_and_wait() function
|
| /l4re-core-master/sigma0/server/src/ |
| A D | memmap.cc | 338 tag = l4_ipc_reply_and_wait(utcb, answer.tag, &t, in pager()
|
| /l4re-core-master/l4sys/include/cxx/ |
| A D | ipc_server_loop | 369 return l4_ipc_reply_and_wait(utcb, reply, p, this->timeout());
|
| /l4re-core-master/uclibc/lib/libpthread/src/ |
| A D | manager.cc | 154 tag = l4_ipc_reply_and_wait(l4_utcb(), tag, &src, L4_IPC_NEVER); in __pthread_manager()
|
| /l4re-core-master/cxx/lib/ipc/include/ |
| A D | ipc_stream | 989 tag = l4_ipc_reply_and_wait(Ostream::_utcb, tag, src_dst, timeout);
|
Completed in 13 milliseconds