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