1 #include <l4/sys/compiler.h>
10 * Assign a VFS file descriptor to an lwIP socket
12 extern int assign_fd_to_socket(int);
15 * Lookup socket for file descriptor
17 extern int socket_for_fd(int);
20 * Mark existing VFS fd as connected socket
22 extern void mark_connected(int,int);