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


Generated on Wed Apr 11 06:37:12 2012 for L4Env Memory Dataspace Manager Interface by  doxygen 1.5.6