19 int accept(int s, struct sockaddr *addr, socklen_t *addrlen)  in accept()  argument
22     int socket = dfs_net_getsocket(s);  in accept()
71 int bind(int s, const struct sockaddr *name, socklen_t namelen)  in bind()  argument
73     int socket = dfs_net_getsocket(s);  in bind()
79 int shutdown(int s, int how)  in shutdown()  argument
84     d = fd_get(s);  in shutdown()
92     socket = dfs_net_getsocket(s);  in shutdown()
107 int getpeername(int s, struct sockaddr *name, socklen_t *namelen)  in getpeername()  argument
109     int socket = dfs_net_getsocket(s);  in getpeername()
115 int getsockname(int s, struct sockaddr *name, socklen_t *namelen)  in getsockname()  argument
117     int socket = dfs_net_getsocket(s);  in getsockname()
123 int getsockopt(int s, int level, int optname, void *optval, socklen_t *optlen)  in getsockopt()  argument
125     int socket = dfs_net_getsocket(s);  in getsockopt()
131 int setsockopt(int s, int level, int optname, const void *optval, socklen_t optlen)  in setsockopt()  argument
133     int socket = dfs_net_getsocket(s);  in setsockopt()
139 int connect(int s, const struct sockaddr *name, socklen_t namelen)  in connect()  argument
141     int socket = dfs_net_getsocket(s);  in connect()
147 int listen(int s, int backlog)  in listen()  argument
149     int socket = dfs_net_getsocket(s);  in listen()
155 int recv(int s, void *mem, size_t len, int flags)  in recv()  argument
157     int socket = dfs_net_getsocket(s);  in recv()
163 int recvfrom(int s, void *mem, size_t len, int flags,  in recvfrom()  argument
166     int socket = dfs_net_getsocket(s);  in recvfrom()
172 int send(int s, const void *dataptr, size_t size, int flags)  in send()  argument
174     int socket = dfs_net_getsocket(s);  in send()
180 int sendto(int s, const void *dataptr, size_t size, int flags,  in sendto()  argument
183     int socket = dfs_net_getsocket(s);  in sendto()
241 int closesocket(int s)  in closesocket()  argument
243     int socket = dfs_net_getsocket(s);  in closesocket()
246     d = fd_get(s);  in closesocket()
265 int ioctlsocket(int s, long cmd, void *arg)  in ioctlsocket()  argument
267     int socket = dfs_net_getsocket(s);  in ioctlsocket()