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> 00014 00018 library l4vfs 00019 { 00023 [uuid(100)] 00024 interface connection 00025 { 00026 l4_threadid_t init_connection(void); 00027 void close_connection([in] l4_threadid_t server); 00028 }; 00029 };