9704 move socket functions to libc

@@ -27,13 +27,15 @@
  * Use is subject to license terms.
  */
 
         .file   "_so_setsockopt.s"
 
-/* C library -- _so_setsockopt                                  */
-/* int _so_setsockopt (int socket, int level, int option_name,  */
-/*       void *option_value, size_t option_len, int vers);      */
+/*
+ * C library -- _so_setsockopt
+ *
+ * int _so_setsockopt(int, int, int, const void *, socklen_t, int);
+ */
 
 #include "SYS.h"
 
         SYSCALL2_RVAL1(_so_setsockopt,setsockopt)
         RET