56     unsigned long  t[3];  in socket()  local
58     t[0] = (unsigned long) domain;  in socket()
59     t[1] = (unsigned long) type;  in socket()
60     t[2] = (unsigned long) protocol;  in socket()
62     return (int) __socketcall( SYS_SOCKET, t );  in socket()
70     unsigned long  t[3];  in bind()  local
72     t[0] = (unsigned long) sockfd;  in bind()
73     t[1] = (unsigned long) my_addr;  in bind()
74     t[2] = (unsigned long) addrlen;  in bind()
76     return (int) __socketcall( SYS_BIND, t );  in bind()
83     unsigned long  t[3];  in connect()  local
85     t[0] = (unsigned long) sockfd;  in connect()
86     t[1] = (unsigned long) serv_addr;  in connect()
87     t[2] = (unsigned long) addrlen;  in connect()
89     return (int) __socketcall( SYS_CONNECT, t );  in connect()
96     unsigned long  t[2];  in listen()  local
98     t[0] = (unsigned long) s;  in listen()
99     t[1] = (unsigned long) backlog;  in listen()
101     return (int) __socketcall( SYS_LISTEN, t );  in listen()
108     unsigned long  t[3];  in accept()  local
110     t[0] = (unsigned long) sock;  in accept()
111     t[1] = (unsigned long) adresse;  in accept()
112     t[2] = (unsigned long) longueur;  in accept()
114     return (int) __socketcall( SYS_ACCEPT, t );  in accept()
121     unsigned long  t[3];  in getsockname()  local
123     t[0] = (unsigned long) s;  in getsockname()
124     t[1] = (unsigned long) name;  in getsockname()
125     t[2] = (unsigned long) namelen;  in getsockname()
127     return (int) __socketcall( SYS_GETSOCKNAME, t );  in getsockname()
134     unsigned long  t[3];  in getpeername()  local
136     t[0] = (unsigned long) s;  in getpeername()
137     t[1] = (unsigned long) name;  in getpeername()
138     t[2] = (unsigned long) namelen;  in getpeername()
140     return (int) __socketcall( SYS_GETPEERNAME, t );  in getpeername()
147     unsigned long  t[4];  in socketpair()  local
149     t[0] = (unsigned long) d;  in socketpair()
150     t[1] = (unsigned long) type;  in socketpair()
151     t[2] = (unsigned long) protocol;  in socketpair()
152     t[3] = (unsigned long) sv;  in socketpair()
154     return (int) __socketcall( SYS_SOCKETPAIR, t );  in socketpair()
162     unsigned long  t[6];  in sendto()  local
164     t[0] = (unsigned long) socket;  in sendto()
165     t[1] = (unsigned long) message;  in sendto()
166     t[2] = (unsigned long) length;  in sendto()
167     t[3] = (unsigned long) flags;  in sendto()
168     t[4] = (unsigned long) dest_addr;  in sendto()
169     t[5] = (unsigned long) dest_len;  in sendto()
171    return __socketcall( SYS_SENDTO, t );  in sendto()
179     unsigned long  t[6];  in recvfrom()  local
181     t[0] = (unsigned long) socket;  in recvfrom()
182     t[1] = (unsigned long) buffer;  in recvfrom()
183     t[2] = (unsigned long) length;  in recvfrom()
184     t[3] = (unsigned long) flags;  in recvfrom()
185     t[4] = (unsigned long) address;  in recvfrom()
186     t[5] = (unsigned long) address_len;  in recvfrom()
188    return __socketcall( SYS_RECVFROM, t );  in recvfrom()
195     unsigned long  t[2];  in shutdown()  local
197     t[0] = (unsigned long) socket;  in shutdown()
198     t[1] = (unsigned long) how;  in shutdown()
200    return (int) __socketcall( SYS_SHUTDOWN, t );  in shutdown()
207     unsigned long  t[5];  in setsockopt()  local
209     t[0] = (unsigned long) s;  in setsockopt()
210     t[1] = (unsigned long) level;  in setsockopt()
211     t[2] = (unsigned long) optname;  in setsockopt()
212     t[3] = (unsigned long) optval;  in setsockopt()
213     t[4] = (unsigned long) optlen;  in setsockopt()
215    return (int) __socketcall( SYS_SETSOCKOPT, t );  in setsockopt()
222     unsigned long  t[5];  in getsockopt()  local
224     t[0] = (unsigned long) s;  in getsockopt()
225     t[1] = (unsigned long) level;  in getsockopt()
226     t[2] = (unsigned long) optname;  in getsockopt()
227     t[3] = (unsigned long) optval;  in getsockopt()
228     t[4] = (unsigned long) optlen;  in getsockopt()
230     return (int) __socketcall( SYS_GETSOCKOPT, t );  in getsockopt()
237     unsigned long  t[3];  in sendmsg()  local
239     t[0] = (unsigned long) socket;  in sendmsg()
240     t[1] = (unsigned long) message;  in sendmsg()
241     t[2] = (unsigned long) flags;  in sendmsg()
243    return __socketcall( SYS_SENDMSG, t );  in sendmsg()
250     unsigned long  t[3];  in recvmsg()  local
252     t[0] = (unsigned long) socket;  in recvmsg()
253     t[1] = (unsigned long) message;  in recvmsg()
254     t[2] = (unsigned long) flags;  in recvmsg()
256    return __socketcall( SYS_RECVMSG, t );  in recvmsg()