![]()  | 
  
    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.  |