L4Env Phys. Memory Dataspace Manager Reference Manual

00001 /* -*- c -*- */
00002 /* $Id: dm_phys.idl 30425 2007-10-24 08:05:18Z sk852421 $ */
00003 /*****************************************************************************/
00012 /*****************************************************************************/
00013 
00014 /* (c) 2003 Technische Universitaet Dresden
00015  * This file is part of DROPS, which is distributed under the terms of the
00016  * GNU General Public License 2. Please see the COPYING file for details.
00017  */
00018 
00019 #include <l4/dm_mem/dm_mem.idl>
00020 
00024 library if_l4dm
00025 {
00030   interface memphys : mem
00031     {
00032       /***********************************************************************/
00049       /***********************************************************************/
00050       long dmphys_open([in] unsigned long pool,
00051                        [in] unsigned long addr,
00052                        [in] unsigned long size,
00053                        [in] unsigned long align,
00054                        [in] unsigned long flags,
00055                        [in, string] char* name,
00056                        [out] l4dm_dataspace_t *ds);
00057 
00058       /***********************************************************************/
00079       /***********************************************************************/
00080       long dmphys_copy([in] unsigned long ds_id,
00081                        [in] unsigned long src_offs,
00082                        [in] unsigned long dst_offs,
00083                        [in] unsigned long num,
00084                        [in] unsigned long dst_pool,
00085                        [in] unsigned long dst_addr,
00086                        [in] unsigned long dst_size,
00087                        [in] unsigned long dst_align,
00088                        [in] unsigned long flags,
00089                        [in, string] char* name,
00090                        [out] l4dm_dataspace_t *copy);
00091 
00092       /***********************************************************************/
00109       /***********************************************************************/
00110       long dmphys_pagesize([in] unsigned long ds_id,
00111                            [in] unsigned long offs,
00112                            [in] unsigned long size,
00113                            [in] unsigned long pagesize,
00114                            [out] int *ok);
00115 
00116        /***********************************************************************/
00128       /***********************************************************************/
00129       long dmphys_poolsize([in] unsigned long pool,
00130                            [out] l4_size_t *size,
00131                            [out] l4_size_t *free);
00132 
00133       /***********************************************************************/
00141       /***********************************************************************/
00142       void dmphys_debug([in] unsigned long key,
00143                         [in] unsigned long data);
00144     };
00145 };