dm-if.h File Reference

Helper functions for communication with dataspace managers. More...

#include <l4/sys/types.h>
#include <l4/l4rm/l4rm.h>

Go to the source code of this file.

Functions

int create_ds (l4_threadid_t dm_id, l4_size_t size, l4_addr_t *addr, l4dm_dataspace_t *ds, const char *dbg_name)
 Create a dataspace.
int junk_ds (l4dm_dataspace_t *ds, l4_addr_t addr)
 Junk an attached dataspace.
int phys_ds (l4dm_dataspace_t *ds, l4_size_t size, l4_addr_t *phys_addr)
 Determine physical address of dataspace.
int dm_if_init (void)
 Init dm helper stuff.

Variables

l4_threadid_t app_dsm_id
 default dataspace manager
l4_threadid_t app_image_dsm
 dsm for file image
l4_threadid_t app_text_dsm
 dsm for text section
l4_threadid_t app_data_dsm
 dsm for data section
l4_threadid_t app_bss_dsm
 dsm for bss section
l4_threadid_t app_stack_dsm
 dsm for stack


Detailed Description

Helper functions for communication with dataspace managers.

Date:
06/11/2001
Author:
Frank Mehnert

Function Documentation

int create_ds ( l4_threadid_t  dm_id,
l4_size_t  size,
l4_addr_t *  addr,
l4dm_dataspace_t *  ds,
const char *  dbg_name 
)

Create a dataspace.

Parameters:
dm_id thread_id of dataspace manager to use
size size of dataspace
Return values:
addr address of attached dataspace
ds dataspace descriptor
Parameters:
dbg_name name of the dataspace for debugging purposes
Returns:
0 on success -L4_ENOMEM if not enough memory available

int junk_ds ( l4dm_dataspace_t *  ds,
l4_addr_t  addr 
)

Junk an attached dataspace.

Parameters:
ds dataspace id (ignored if L4DM_INVALID_DATASPACE)
addr dataspace map address (ignored if -1)

int phys_ds ( l4dm_dataspace_t *  ds,
l4_size_t  size,
l4_addr_t *  phys_addr 
)

Determine physical address of dataspace.

Parameters:
ds dataspace
size size of the dataspace (to save one server call)
Return values:
phys_addr physical addr of dataspace


L4 Loader Reference Manual, part of DROPS  © 2000-2003