L4 Virtual File System: /tmp/l4check/full_tree/trunk/l4/pkg/l4vfs/idl/select

00001 /* -*- c -*- */
00009 /* (c) 2004 Technische Universitaet Dresden
00010  * This file is part of DROPS, which is distributed under the terms of the
00011  * GNU General Public License 2. Please see the COPYING file for details.
00012  */
00013 import <l4/sys/types.h>       // fixme: this include seems superfluous
00014 import <l4/l4vfs/types.h>
00015 
00019 library l4vfs
00020 {
00024     [uuid (71)]
00025     interface select_listener
00026     {
00036         int send_notification([in] object_handle_t handle,
00037                               [in] int mode);
00038     };
00039 };

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