Initialization
[Dataspace Manager Server Support Library]

Typedefs
typedef L4_CV void *(*	dsmlib_get_page_fn_t )(void **data)
typedef L4_CV void(*	dsmlib_free_page_fn_t )(void *page, void *data)
Functions
L4_CV int	dsmlib_init (dsmlib_get_page_fn_t get_page_fn, dsmlib_free_page_fn_t free_page_fn)
	Init dataspace manager library.

---

Typedef Documentation

typedef L4_CV void*(* dsmlib_get_page_fn_t)(void **data)

Page allocation callback function

This function is used by the dsmlib to allocate pages used for the dataspace / client descriptors. The data pointer can be used to store application data, it is returned with the page release callback function.

Definition at line 99 of file dsmlib.h.

typedef L4_CV void(* dsmlib_free_page_fn_t)(void *page, void *data)

Page release callback function

Definition at line 105 of file dsmlib.h.

---

Function Documentation

L4_CV int dsmlib_init	(	dsmlib_get_page_fn_t	get_page_fn,
		dsmlib_free_page_fn_t	free_page_fn
	)

Init dataspace manager library.

Parameters:

	get_page_fn	Page allocation callback function
	free_page_fn	Page release callback function

Returns:

0 on succes, -1 if initialization failed