![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Generic RPC base for typed message items. More...
#include <ipc_types>
Public Types | |
enum | Type { Special = L4_FPAGE_SPECIAL << 4 , Memory = L4_FPAGE_MEMORY << 4 , Io = L4_FPAGE_IO << 4 , Obj = L4_FPAGE_OBJ << 4 } |
Type of mapping object, see L4_fpage_type. More... | |
Public Member Functions | |
Gen_fpage (l4_umword_t base, l4_umword_t data) noexcept | |
Construct from raw values. | |
l4_umword_t | data () const noexcept |
Return the raw flexpage descriptor. | |
l4_umword_t | base_x () const noexcept |
Return the raw base descriptor. | |
Type of mapping object, see L4_fpage_type.
Enumerator | |
---|---|
Special | Special flexpage, either l4_fpage_invalid() or l4_fpage_all(); only supported by selected interfaces. |
Memory | Flexpage for memory spaces. |
Io | Flexpage for I/O port spaces. |
Obj | Flexpage for object spaces. |