Data Structures | |
| struct | l4_msg_t |
| Structure to describe long IPC. More... | |
| struct | l4_msgdope_struct_t |
| L4 message dope structure. More... | |
| union | l4_msgdope_t |
| L4 message dope type. More... | |
| struct | l4_strdope_t |
| L4 string dope. More... | |
Defines | |
| #define | L4_IPC_NIL_DESCRIPTOR |
| Nil message descriptor. | |
| #define | L4_IPC_SHORT_MSG |
| Short IPC (register-only) message descriptor. | |
| #define | L4_IPC_SHORT_FPAGE |
| Short flexpage IPC (register-only) message descriptor, message words are interpreted as send flexpage descriptor. | |
| #define | L4_IPC_DOPE(dwords, strings) |
| Build IPC message dope. | |
| #define | L4_IPC_MAPMSG(address, size) |
| Build short flexpage receive message descriptor. | |
| #define | L4_IPC_IOMAPMSG(port, iosize) |
| Build short I/O flexpage receive message descriptor. | |
| #define | L4_IPC_CAPMAPMSG(taskno, order) |
| Build short capability flexpage receive message descriptor. | |
| #define | L4_IPC_SHORT_MSG_NODONATE |
| Short IPC (register-only) message descriptor w/o donation. | |
| #define L4_IPC_DOPE | ( | dwords, | |||
| strings | ) |
Build IPC message dope.
| dwords | Number of dwords in message | |
| strings | Number of indirect strings in message |
Definition at line 45 of file L4API-l4v2/ipc.h.
| #define L4_IPC_MAPMSG | ( | address, | |||
| size | ) |
Build short flexpage receive message descriptor.
| address | Flexpage receive window address | |
| size | Receive window size (log2) |
Definition at line 57 of file L4API-l4v2/ipc.h.
| #define L4_IPC_IOMAPMSG | ( | port, | |||
| iosize | ) |
Build short I/O flexpage receive message descriptor.
| port | I/O flexpage receive window base port | |
| iosize | Receive window size |
Definition at line 69 of file L4API-l4v2/ipc.h.
| #define L4_IPC_CAPMAPMSG | ( | taskno, | |||
| order | ) |
Build short capability flexpage receive message descriptor.
| taskno | Task number | |
| order | Receive window size |
Definition at line 81 of file L4API-l4v2/ipc.h.