L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
L4::Ipc::Snd_fpage Class Reference

Send flex-page. More...

#include <ipc_types>

+ Inheritance diagram for L4::Ipc::Snd_fpage:
+ Collaboration diagram for L4::Ipc::Snd_fpage:

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.
 

Detailed Description

Send flex-page.

Definition at line 407 of file ipc_types.


The documentation for this class was generated from the following file: