00001
00008
00009
00010
00011
00012 #ifndef __L4VFS_INCLUDE_FILE_TABLE_H_
00013 #define __L4VFS_INCLUDE_FILE_TABLE_H_
00014
00015 #include <l4/sys/compiler.h>
00016 #include <l4/l4vfs/types.h>
00017
00018 EXTERN_C_BEGIN
00019
00020 int ft_get_next_free_entry(void);
00021 void ft_free_entry(int i);
00022 void ft_fill_entry(int i, file_desc_t fd_s);
00023 int ft_is_open(int i);
00024 file_desc_t ft_get_entry(int i);
00025 void ft_init(void);
00026
00027 EXTERN_C_END
00028
00029 extern object_id_t cwd;
00030 extern object_id_t c_root;
00031
00032 #endif