socket_close
(void) socket_close(ct->ct_sock);
(void) socket_close(cu->cu_sock);
(void) socket_close(s);
(void) socket_close(sd);
(void) socket_close(sd);
(void) socket_close(sd);
(void) socket_close(sd);
(void) socket_close(s);
return (socket_close(sd));
extern int socket_close(int);
extern int socket_close(struct sonode *, int, struct cred *);
(void) socket_close(nso, 0, cr);
(void) socket_close(nso, 0, CRED());
(void) socket_close(nso, 0, CRED());
(void) socket_close(drop, 0, kcred);
(void) socket_close(so, 0, CRED());
(void) socket_close(nso, 0, CRED());
(void) socket_close(nso, 0, CRED());
(void) socket_close(nso, 0, CRED());
(void) socket_close(nso, 0, CRED());
(void) socket_close(nso, 0, cr);
(void) socket_close(so, 0, cr);