00001
00008
00009
00010
00011
00012 #ifndef __DM_IF_H_
00013 #define __DM_IF_H_
00014
00015 #include <l4/sys/types.h>
00016 #include <l4/l4rm/l4rm.h>
00017
00018 extern l4_threadid_t app_dsm_id;
00019 extern l4_threadid_t app_image_dsm;
00020 extern l4_threadid_t app_text_dsm;
00021 extern l4_threadid_t app_data_dsm;
00022 extern l4_threadid_t app_bss_dsm;
00023 extern l4_threadid_t app_stack_dsm;
00025 int create_ds(l4_threadid_t dm_id, l4_size_t size,
00026 l4_addr_t *addr, l4dm_dataspace_t *ds,
00027 const char *dbg_name);
00028 int junk_ds(l4dm_dataspace_t *ds, l4_addr_t addr);
00029 int phys_ds(l4dm_dataspace_t *ds, l4_size_t size, l4_addr_t *phys_addr);
00030 int dm_if_init(void);
00031
00032 #endif
00033