L4 Virtual File System: /tmp/l4check/full_tree/trunk/l4/pkg/l4vfs/idl/extendable.idl Source File

00001 /* -*- c -*- */
00009 /* (c) 2004 Technische Universitaet Dresden
00010  * This file is part of DROPS, which is distributed under the terms of the
00011  * GNU General Public License 2. Please see the COPYING file for details.
00012  */
00013 import <l4/sys/types.h>
00014 import <l4/l4vfs/types.h>
00015 
00019 library l4vfs
00020 {
00024     [uuid(1002), abstract]
00025     interface extendable
00026     {
00048         int attach_namespace([in] volume_id_t volume_id,
00049                              [in, string] char * mounted_dir,
00050                              [in, string] char * mount_dir);
00051 
00061         int detach_namespace([in, string] char * mount_dir);
00062     };
00063 };