#include <l4/l4vfs/types.h>
#include <l4/l4vfs/connection-client.h>
Go to the source code of this file.
Functions | |
EXTERN_C_BEGIN l4_threadid_t | l4vfs_init_connection (l4_threadid_t server) |
void | l4vfs_close_connection (l4_threadid_t server, l4_threadid_t connection) |