/tmp/l4check/full_tree/trunk/l4/pkg/l4vfs/idl/basic_io.idl

Go to the documentation of this file.

/* -*- c -*- */
/* (c) 2004 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */
import <l4/sys/types.h>
import <l4/l4vfs/types.h>

import <l4/l4vfs/common_io.idl>

library l4vfs
{
    [uuid(50)]
    interface basic_io : common_io
    {
        object_handle_t open([in] object_id_t object_id, [in] int flags);


        object_handle_t creat([in] object_id_t parent,
                              [in, string] char * name,
                              [in] int flags,
                              [in] l4vfs_mode_t mode);

        int             unlink([in] object_id_t file);

        int             rmdir([in] object_id_t dir);

        l4vfs_off_t     lseek([in] object_handle_t handle,
                              [in] l4vfs_off_t offset,
                              [in] int whence);

        int             fsync([in] object_handle_t handle);

        int             getdents([in] object_handle_t handle,
                                 [out, size_is(count),
                                  transmit_as(unsigned char),
                                  ref, prealloc_client, prealloc_server]
                                  l4vfs_dirent_t ** dirp,
                                 [in, out] unsigned int * count);

        int             stat([in] object_id_t object_id,
                             [out] l4vfs_stat_t * buf);

        int             access([in] object_id_t file,
                               [in] int mode);
    };
};

---