L4Re Operating System Framework
Interface and Usage Documentation
|
Send flex-page. More...
#include <ipc_types>
Additional Inherited Members | |
Public Types inherited from L4::Ipc::Gen_fpage | |
enum | Type |
Type of mapping object, see L4_fpage_type. | |
enum | Map_type |
Kind of mapping. | |
enum | Cacheopt |
Caching options, see l4_fpage_cacheability_opt_t. | |
Public Member Functions inherited from L4::Ipc::Gen_fpage | |
bool | is_valid () const noexcept |
Check if the capability is valid. | |
bool | cap_received () const noexcept |
Check if at least one capability has been mapped. | |
bool | id_received () const noexcept |
Check if a label was received instead of a mapping. | |
bool | local_id_received () const noexcept |
Check if a local capability id has been received. | |
bool | is_compound () const noexcept |
Check if the received item has the compound bit set. | |
l4_umword_t | data () const noexcept |
Return the raw flex page descriptor. | |
l4_umword_t | base_x () const noexcept |
Return the raw base descriptor. | |