![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
#include <__l4_fpage.h>
Collaboration diagram for l4_fpage_t:Data Fields | |
| l4_umword_t | fpage |
| Raw value. | |
| l4_umword_t | raw |
| Raw value. | |
L4 flexpage type.
Definition at line 76 of file __l4_fpage.h.