![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Unique region. More...
#include <rm>
Public Member Functions | |
Unique_region () noexcept | |
Construct an invalid Unique_region. | |
Unique_region (T addr) noexcept | |
Construct a Unique_region from an address. | |
Unique_region (T addr, L4::Cap< Rm > const &rm) noexcept | |
Construct a valid Unique_region from an address and a region manager. | |
Unique_region (Unique_region &&o) noexcept | |
Move-Construct a Unique_region. | |
Unique_region & | operator= (Unique_region &&o) noexcept |
Move-assign a Unique_region. | |
~Unique_region () noexcept | |
Destructor. | |
T | get () const noexcept |
Return the address. | |
T | release () noexcept |
Return the address and invalidate the Unique_region. | |
void | reset (T addr, L4::Cap< Rm > const &rm) noexcept |
Set new address and region manager. | |
void | reset () noexcept |
Make the Unique_region invalid. | |
bool | is_valid () const noexcept |
Check if the Unique_region is valid. | |
T | operator* () const noexcept |
Dereference the address. | |
T | operator-> () const noexcept |
Member access for the address. |
Unique region.
Capture a single region with automatic detach on destruction and unique ownership. Stores the start address and the region-mapper capability internally. A unique region is valid precisely if the internal region-mapper capability is valid. The features for unique ownership and automatic detach are only active for valid unique regions.
|
inlineexplicitnoexcept |
|
inlinenoexcept |
Construct a valid Unique_region from an address and a region manager.
addr | The address |
rm | The region manager |
|
inlinenoexcept |
Move-Construct a Unique_region.
o | L-value reference to other region. |
|
inlinenoexcept |
|
inlinenoexcept |
Return the address.
Definition at line 509 of file rm.
Referenced by L4Re::Util::Event_t< Default_event_payload >::init(), and L4Re::Util::Event_t< Default_event_payload >::init_poll().
|
inlinenoexcept |
Check if the Unique_region is valid.
|
inlinenoexcept |
Move-assign a Unique_region.
o | L-value reference to region to assign from |
|
inlinenoexcept |
Return the address and invalidate the Unique_region.
|
inlinenoexcept |