Barrelfish
Data Structures | Macros
legacy_idc_buffer.h File Reference

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...
 

Detailed Description

Legacy IDC buffer format. PLEASE DO NOT USE FOR ANY NEW CODE!

Macro Definition Documentation

#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.