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.