00001
00008
00009
00010
00011
00012 #ifndef __L4VFS_INCLUDE_SELECT_LISTENER_H_
00013 #define __L4VFS_INCLUDE_SELECT_LISTENER_H_
00014
00015 #include <l4/l4vfs/types.h>
00016 #include <l4/l4vfs/select_listener-client.h>
00017
00018 EXTERN_C_BEGIN
00019
00020 int l4vfs_select_listener_send_notification(l4_threadid_t server,
00021 object_handle_t fd,
00022 int mode);
00023
00024 int l4vfs_select_listener_start_listening(l4_threadid_t server,
00025 object_handle_t *fd,
00026 int *mode);
00027
00028 void l4vfs_select_listener_init_listener(l4_threadid_t server,
00029 l4_uint32_t timout);
00030
00031 EXTERN_C_END
00032
00033 #endif
00034