9704 move socket functions to libc

@@ -27,14 +27,15 @@
  * Use is subject to license terms.
  */
 
         .file   "_so_sendto.s"
 
-/* C library -- __so_sendto                                     */
 /*
- * int __so_sendto(int sock, const void *buffer, size_t len, int flags,
- *               const struct sockaddr *addr, int addrlen);
+ * C library -- __so_sendto
+ *
+ * ssize_t __so_sendto(int, const void *, size_t, int, const struct sockaddr *,
+ *     socklen_t);
  */
 
 #include "SYS.h"
 
         SYSCALL2_RESTART_RVAL1(__so_sendto,sendto)