Barrelfish
|
A generic message buffer into which things can be marshalled. More...
Data Fields | |
char * | buf |
Pointer to start of message buffer. | |
size_t | pos |
Current position (byte-offset) in buffer. | |
size_t | len |
Currently-allocated length (in bytes) of buffer. | |
bool | dynamic |
Buffer is dynamically allocated (from malloc/realloc) | |
A generic message buffer into which things can be marshalled.