L4Re Operating System Framework
Interface and Usage Documentation
|
Capability allocator C interface. More...
Functions | |
l4_cap_idx_t | l4re_util_cap_alloc (void) L4_NOTHROW |
Get free capability index at capability allocator. | |
void | l4re_util_cap_free (l4_cap_idx_t cap) L4_NOTHROW |
Return capability index to capability allocator. | |
void | l4re_util_cap_free_um (l4_cap_idx_t cap) L4_NOTHROW |
Return capability index to capability allocator, and unmaps the object. | |
long | l4re_util_cap_last (void) L4_NOTHROW |
Return last capability index the allocator can return. | |
Capability allocator C interface.
long l4re_util_cap_last | ( | void | ) |
Return last capability index the allocator can return.