Barrelfish
|
Message layout in user's buffer. More...
Data Fields | |
size_t | msglen |
Length of message payload (in words) | |
size_t | buflen |
Length of entire buffer (in words) | |
uintptr_t | words [0] |
Payload (variable length) | |
Message layout in user's buffer.
Note that the kernel never delivers a message like this.