00001
00008
00009
00010
00011
00012 #ifndef __L4VFS_INCLUDE_COMMON_IO_H_
00013 #define __L4VFS_INCLUDE_COMMON_IO_H_
00014
00015 #include <sys/types.h>
00016 #include <l4/l4vfs/types.h>
00017 #include <l4/l4vfs/common_io-client.h>
00018
00019 EXTERN_C_BEGIN
00020
00021 ssize_t l4vfs_read(l4_threadid_t server,
00022 object_handle_t fd,
00023 char **buf,
00024 size_t *count);
00025
00026 ssize_t l4vfs_write(l4_threadid_t server,
00027 object_handle_t fd,
00028 const l4_int8_t *buf,
00029 size_t *count);
00030
00031 int l4vfs_close(l4_threadid_t server,
00032 object_handle_t object_handle);
00033
00034 int l4vfs_ioctl(l4_threadid_t server,
00035 object_handle_t fd,
00036 l4_int32_t cmd,
00037 char **arg,
00038 size_t *count);
00039
00040 int l4vfs_fcntl(l4_threadid_t server,
00041 object_handle_t fd,
00042 int cmd,
00043 long *arg);
00044
00045 EXTERN_C_END
00046
00047 #endif