L4Re Operating System Framework
Interface and Usage Documentation
|
Send-flex-page types. More...
#include <__l4_fpage.h>
Data Fields | |
l4_umword_t | snd_base |
Offset in receive window (send base) | |
l4_fpage_t | fpage |
Source flex-page descriptor. | |
Send-flex-page types.
Definition at line 108 of file __l4_fpage.h.