|
Barrelfish
|
Legacy IDC buffer format. PLEASE DO NOT USE FOR ANY NEW CODE! More...
Data Structures | |
| union | idc_send_header |
| IDC sender-side header. More... | |
| union | idc_recv_header |
| IDC receiver-side header. More... | |
| union | idc_send_msg_body |
| Message layout on sender side. More... | |
| struct | idc_recv_msg_body |
| Message layout on receiver side. More... | |
| struct | idc_send_msg |
| IDC send message, with position indicator for marshalling. More... | |
| struct | idc_recv_msg |
| IDC receive message, with position indicator for demarshalling. More... | |
Macros | |
| #define | IDC_SEND_LENGTH 12 |
| Maximum total length of IDC message (header + payload) More... | |
| #define | IDC_MSG_LENGTH (IDC_SEND_LENGTH - IDC_SEND_HEADER_LENGTH) |
| Length of IDC message headers. More... | |
Legacy IDC buffer format. PLEASE DO NOT USE FOR ANY NEW CODE!
| #define IDC_MSG_LENGTH (IDC_SEND_LENGTH - IDC_SEND_HEADER_LENGTH) |
Length of IDC message headers.
Length of IDC message payload
| #define IDC_SEND_LENGTH 12 |
Maximum total length of IDC message (header + payload)
Determined by number of registers available to transfer messages.
1.8.11