Searched refs:l4_ipc_receive (Results 1 – 4 of 4) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | ipc.h | 287 l4_ipc_receive(l4_cap_idx_t object, l4_utcb_t *utcb,
505 l4_ipc_receive(l4_cap_idx_t src, l4_utcb_t *utcb, in l4_ipc_receive() function
515 { return l4_ipc_receive(L4_INVALID_CAP, NULL, timeout); } in l4_ipc_sleep()
|
| A D | thread.h | 790 l4_ipc_receive(L4_INVALID_CAP, NULL, L4_IPC_BOTH_TIMEOUT_0); in l4_thread_yield()
|
| /l4re-core-master/l4util/lib/src/ |
| A D | sleep.c | 39 tag = l4_ipc_receive(L4_INVALID_CAP, u, to); in l4_sleep()
|
| /l4re-core-master/cxx/lib/ipc/include/ |
| A D | ipc_stream | 1032 res = l4_ipc_receive(src, _utcb, timeout);
|
Completed in 7 milliseconds