L4Re - L4 Runtime Environment
|
Directories |
Files | |
file | bitmap_cap_alloc [code] |
Bitmap capability allocator. | |
file | cap [code] |
Capability utility functions. | |
file | cap_alloc [code] |
Capability allocator. | |
file | cap_alloc_impl.h [code] |
Capability allocator implementation. | |
file | counting_cap_alloc [code] |
Reference-counting capability allocator. | |
file | event [code] |
file | item_alloc [code] |
Item allocator. | |
file | kumem_alloc [code] |
Kumem allocator helper. | |
file | region_mapping [code] |
Region handling. | |
file | shared_cap [code] |
Shared_cap / Shared_del_cap. | |
file | unique_cap [code] |
Unique_cap / Unique_del_cap. | |