|
template<typename O> |
| Cap (Cap< O > const &o) noexcept |
| Make copy with conversion.
|
| Cap (L4::Cap< T > cap) noexcept |
| Make a Cap from L4::Cap<T>, with minimal rights.
|
template<typename O> |
| Cap (L4::Cap< O > cap) noexcept |
| Make IPC Cap from L4::Cap with conversion (and minimal rights).
|
| Cap () noexcept |
| Make an invalid cap.
|
| Cap (L4::Cap< T > cap, unsigned char rights) noexcept |
| Make a Cap from L4::Cap<T> with the given rights.
|
L4::Cap< T > | cap () const noexcept |
| Return the L4::Cap<T> of this Cap.
|
unsigned | rights () const noexcept |
| Return the rights bits stored in this IPC cap.
|
L4::Ipc::Snd_fpage | fpage () const noexcept |
| Return the send flexpage for this Cap (see l4_fpage_t).
|
bool | is_valid () const noexcept |
| Return true if this Cap is valid.
|
template<typename T>
class L4::Ipc::Cap< T >
Capability type for RPC interfaces (see L4::Cap<T>).
- Template Parameters
-
T | type of the interface referenced by the capability. |
In contrast to L4::Cap<T> this type additionally stores a rights mask that shall be used when the capability is transferred to the receiver. This allows to apply restrictions to the transferred capability in the form of a subset of the rights possessed by the sender.
- See also
- L4::Ipc::make_cap()
Definition at line 698 of file ipc_types.