Go to the source code of this file.
Functions | |
| int | l4_ipc_call (l4_threadid_t dest, const void *snd_msg, l4_umword_t snd_dword0, l4_umword_t snd_dword1, void *rcv_msg, l4_umword_t *rcv_dword0, l4_umword_t *rcv_dword1, l4_timeout_t timeout, l4_msgdope_t *result) |
| IPC Call, usual blocking RPC. | |
| int | l4_ipc_reply_and_wait (l4_threadid_t dest, const void *snd_msg, l4_umword_t snd_dword0, l4_umword_t snd_dword1, l4_threadid_t *src, void *rcv_msg, l4_umword_t *rcv_dword0, l4_umword_t *rcv_dword1, l4_timeout_t timeout, l4_msgdope_t *result) |
| IPC reply and wait, send a reply to a client and wait for next message. | |
| int | l4_ipc_wait (l4_threadid_t *src, void *rcv_msg, l4_umword_t *rcv_dword0, l4_umword_t *rcv_dword1, l4_timeout_t timeout, l4_msgdope_t *result) |
| IPC wait, wait for message from any source. | |
| int | l4_ipc_send (l4_threadid_t dest, const void *snd_msg, l4_umword_t snd_dword0, l4_umword_t snd_dword1, l4_timeout_t timeout, l4_msgdope_t *result) |
| IPC send, send a message to a thread. | |
| int | l4_ipc_receive (l4_threadid_t src, void *rcv_msg, l4_umword_t *rcv_dword0, l4_umword_t *rcv_dword1, l4_timeout_t timeout, l4_msgdope_t *result) |
| IPC receive, wait for a message from a specified thread. | |
| int | l4_ipc_sleep (l4_timeout_t timeout) |
| Sleep for an amount of time. | |
| int | l4_ipc_fpage_received (l4_msgdope_t msgdope) |
| Check if received message contains flexpage. | |
| int | l4_ipc_is_fpage_granted (l4_fpage_t fp) |
| Check if flexpage was granted. | |
| int | l4_ipc_is_fpage_writable (l4_fpage_t fp) |
| Check if flexpage is writable. | |
| long | l4_is_long_rcv_descr (const void *msg) |
| Return if receive message descriptor is a long IPC message descriptor. | |
| long | l4_is_rcv_map_descr (const void *msg) |
| Return if message is fpage message. | |
| long | l4_is_long_snd_descr (const void *msg) |
| Return if source message descriptor is a long IPC message descriptor. | |
| const l4_msg_t * | l4_get_snd_msg_from_descr (const void *msg) |
| Return message descriptor address from send message descriptor. | |
| l4_msg_t * | l4_get_rcv_msg_from_descr (void *msg) |
| Return message descriptor address from receive message descriptor. | |
Definition in file ipc-impl.h.