|
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 |
1.8.11