Barrelfish
|
Local descriptor table (LDT) management. More...
Functions | |
void | ldt_init_disabled (dispatcher_handle_t handle) |
Initialise private (per-dispatcher) LDT. | |
errval_t | ldt_alloc_segment_disabled (dispatcher_handle_t handle, void *segbase, uint16_t *ret_selector) |
Allocate and fill a segment descriptor in the LDT. More... | |
errval_t | ldt_free_segment_ondisp (dispatcher_handle_t handle, uint16_t selector) |
Free a previously-allocated segment on a specific dispatcher. More... | |
Local descriptor table (LDT) management.
errval_t ldt_alloc_segment_disabled | ( | dispatcher_handle_t | handle, |
void * | segbase, | ||
uint16_t * | ret_selector | ||
) |
Allocate and fill a segment descriptor in the LDT.
handle | Dispatcher handle |
segbase | Base of segment |
ret_selector | On success, used to return selector for new segment |
errval_t ldt_free_segment_ondisp | ( | dispatcher_handle_t | handle, |
uint16_t | selector | ||
) |
Free a previously-allocated segment on a specific dispatcher.
handle | Dispatcher handle |
selector | Segment selector |