![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
#include <rm>
Public Types | |
| enum | Attach_flags : l4_uint32_t { Search_addr = 0x20000 , In_area = 0x40000 , Eager_map = 0x80000 , No_eager_map = 0x100000 , Attach_mask = 0x1f0000 } |
| Flags for attach operation. More... | |
| enum | Region_flags : l4_uint16_t { Rights_mask = 0x0f , R = Dataspace::F::R , W = Dataspace::F::W , X = Dataspace::F::X , RW = Dataspace::F::RW , RX = Dataspace::F::RX , RWX = Dataspace::F::RWX , Kernel = 0x100 , Detach_free = 0x200 , Pager = 0x400 , Reserved = 0x800 , Caching_mask = Dataspace::F::Caching_mask , Cache_normal = Dataspace::F::Normal , Cache_buffered = Dataspace::F::Bufferable , Cache_uncached = Dataspace::F::Uncacheable , Ds_map_mask = 0xff , Region_flags_mask = 0xffff } |
| Region flags (permissions, cacheability, special). More... | |
Region flags (permissions, cacheability, special).
| Enumerator | |
|---|---|
| Rights_mask | Region rights. |
| R | Readable region. |
| W | Writable region. |
| X | Executable region. |
| RW | Readable and writable region. |
| RX | Readable and executable region. |
| RWX | Readable, writable and executable region. |
| Kernel | Kernel-provided memory (KUMEM). |
| Detach_free | Free the portion of the data space after detach. |
| Pager | Region has a pager. |
| Reserved | Region is reserved (blocked). |
| Caching_mask | Mask of all Rm cache bits. |
| Cache_normal | Cache bits for normal cacheable memory. This is the default if no other cache-related flag was specified. |
| Cache_buffered | Cache bits for buffered (write combining) memory. |
| Cache_uncached | Cache bits for uncached memory. |
| Ds_map_mask | Mask for all bits for cache options and rights. |
| Region_flags_mask | Mask of all region flags. |