ldt.h File Reference

"Public" interface to Barrelfish userland LDT More...

Functions
errval_t	ldt_alloc_segment (void *segbase, uint16_t *ret_selector)
	enabled version of ldt_alloc_segment_disabled() More...
errval_t	ldt_update_segment (uint16_t selector, void *segbase)
	Update the base address of a previously-allocated segment. More...
errval_t	ldt_free_segment (uint16_t selector)
	Free a previously-allocated segment on the current dispatcher. More...

Detailed Description

"Public" interface to Barrelfish userland LDT

Function Documentation

errval_t ldt_alloc_segment	(	void *	segbase,
		uint16_t *	ret_selector
	)

enabled version of ldt_alloc_segment_disabled()

Exposed for calls by special-case software that needs to play with segments.

errval_t ldt_free_segment

(

uint16_t

selector

)

Free a previously-allocated segment on the current dispatcher.

Parameters

selector

Segment selector

errval_t ldt_update_segment	(	uint16_t	selector,
		void *	segbase
	)

Update the base address of a previously-allocated segment.

Parameters

selector	Segment selector
segbase	New base of segment