![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Non-small receive item. More...
#include <ipc_types>
Public Member Functions | |
Rcv_fpage () noexcept | |
Construct a void receive item. | |
Rcv_fpage (l4_fpage_t const &fp, l4_addr_t snd_base=0, l4_cap_idx_t rcv_task=L4_INVALID_CAP) noexcept | |
Construct a non-small receive item. | |
l4_cap_idx_t | rcv_task () const |
Get the capability index of the destination task for received capabilities. | |
bool | forward_mappings () const noexcept |
Check if rcv_task() shall be used as destination for received capabilities. | |
![]() | |
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. | |
Static Public Member Functions | |
static Rcv_fpage | obj (l4_cap_idx_t base, int order, l4_addr_t snd_base=0, L4::Cap< void > rcv_task=L4::Cap< void >::Invalid) noexcept |
Construct a non-small receive item for the object space. | |
static Rcv_fpage | mem (l4_addr_t base, int order, l4_addr_t snd_base=0, L4::Cap< void > rcv_task=L4::Cap< void >::Invalid) noexcept |
Construct a receive item for the memory space. | |
static Rcv_fpage | io (unsigned long base, int order, l4_addr_t snd_base=0, L4::Cap< void > rcv_task=L4::Cap< void >::Invalid) noexcept |
Construct a receive item for the I/O port space. | |
Additional Inherited Members | |
![]() | |
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... | |
Non-small receive item.
This class represents a non-small receive item. A receive item is a message item in the buffer registers of the UTCB of the receiver (see l4_utcb_br()).
|
inlinenoexcept |
Construct a non-small receive item.
fp | Flexpage defining where and which kind of capabilities may be received. |
snd_base | Reserved; should be zero. |
rcv_task | Optional destination task for received capabilities. If invalid, capabilities are received in the invoking task. |
|
inlinestaticnoexcept |
Construct a receive item for the I/O port space.
base | Start of flexpage (see l4_iofpage()). |
order | Log₂ size of flexpage (see l4_iofpage()). |
snd_base | Reserved; should be zero. |
rcv_task | Optional destination task for received capabilities. If invalid, capabilities are received in the invoking task. |
Definition at line 609 of file ipc_types.
References l4_iofpage(), Rcv_fpage(), and rcv_task().
|
inlinestaticnoexcept |
Construct a receive item for the memory space.
base | Start of flexpage (see l4_fpage()). |
order | Log₂ size of flexpage (see l4_fpage()). |
snd_base | Reserved; should be zero. |
rcv_task | Optional destination task for received capabilities. If invalid, capabilities are received in the invoking task. |
Definition at line 594 of file ipc_types.
References l4_fpage(), Rcv_fpage(), and rcv_task().
|
inlinestaticnoexcept |
Construct a non-small receive item for the object space.
base | Start of flexpage (see l4_obj_fpage()). |
order | Log₂ size of flexpage (see l4_obj_fpage()). |
snd_base | Reserved; should be zero. |
rcv_task | Optional destination task for received capabilities. If invalid, capabilities are received in the invoking task. |
Definition at line 578 of file ipc_types.
References l4_obj_fpage(), Rcv_fpage(), and rcv_task().
|
inline |