00001
00008
00009
00010
00011
00012 #ifndef __L4VFS_INCLUDE_BASIC_NAME_SERVER_H_
00013 #define __L4VFS_INCLUDE_BASIC_NAME_SERVER_H_
00014
00015 #include <l4/l4vfs/types.h>
00016 #include <l4/sys/types.h>
00017
00018 EXTERN_C_BEGIN
00019
00020 object_id_t l4vfs_resolve(l4_threadid_t server,
00021 object_id_t base,
00022 const char * pathname);
00023
00024 char * l4vfs_rev_resolve(l4_threadid_t server,
00025 object_id_t dest,
00026 object_id_t *parent);
00027
00028 l4_threadid_t l4vfs_thread_for_volume(l4_threadid_t server,
00029 volume_id_t volume_id);
00030
00031 EXTERN_C_END
00032
00033 #endif