Barrelfish
Functions
ldt.h File Reference

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

Detailed Description

Local descriptor table (LDT) management.

Function Documentation

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.

Parameters
handleDispatcher handle
segbaseBase of segment
ret_selectorOn 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.

Parameters
handleDispatcher handle
selectorSegment selector