s/socket_tcp/socket_tcp4/

socket/socket_accept4.3

@@ -25,7 +25,7 @@ appropriately, without creating a new socket.
   char \fIip\fR[4];
   uint16 \fIp\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind4(s,ip,p);
   socket_connect4(s,ip,p);
 

socket/socket_bind4.3

@@ -22,7 +22,7 @@ returns -1, setting errno appropriately.
   char \fIip\fR[4];
   uint16 \fIp\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind4(s,ip,p);
   socket_connect4(s,ip,p);
 

socket/socket_bind4_reuse.3

@@ -25,7 +25,7 @@ before this IP and port can be bound again.
   char \fIip\fR[4];
   uint16 \fIp\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind4_reuse(s,ip,p);
   socket_connect4(s,ip,p);
 

socket/socket_bind6_reuse.3

@@ -31,7 +31,7 @@ before this IP and port can be bound again.
   char \fIip\fR[16];
   uint16 \fIp\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind6_reuse(s,ip,p);
   socket_connect4(s,ip,p);
 

socket/socket_connect4.3

@@ -40,7 +40,7 @@ effect as first calling socket_bind4 with IP address 0.0.0.0 and port 0.
   char \fIip\fR[4];
   uint16 \fIp\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind4(s,ip,p);
   socket_connect4(s,ip,p);
 

socket/socket_recv4.3

@@ -23,7 +23,7 @@ received.  If not, it returns -1 and sets errno appropriately.
   char buf[1000];
   int len;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind4(s,ip,p);
   len = socket_recv4(s,buf,sizeof(buf),ip,&p);
 

socket/socket_recv6.3

@@ -28,7 +28,7 @@ received.  If not, it returns -1 and sets errno appropriately.
   int len;
   uint32 scope_id;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind6(s,ip,p);
   len = socket_recv6(s,buf,sizeof(buf),ip,&p,&scope_id);
 

socket/socket_send4.3

@@ -23,7 +23,7 @@ it returns -1 and sets errno appropriately.
   char \fIip\fR[4];
   uint16 \fIp\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind4(s,ip,p);
   socket_send4(s,"hello, world",12,ip,p);
 

socket/socket_send6.3

@@ -29,7 +29,7 @@ it returns -1 and sets errno appropriately.
   uint16 \fIp\fR;
   uint32 \fIscope_id\fR;
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_bind6(s,ip,p);
   socket_send6(s,"hello, world",12,ip,p,scope_id);
 

socket/socket_sendfile.3

@@ -27,7 +27,7 @@ it returns -1 and sets errno appropriately.
   uint16 \fIp\fR;
   int \fIfd\fR = open_read("/etc/passwd");
 
-  \fIs\fR = socket_tcp();
+  \fIs\fR = socket_tcp4();
   socket_connect4(s,ip,p);
   socket_sendfile(s,fd,0,23);
 

socket/socket_tcp6.c

@@ -27,7 +27,7 @@ compat:
   }
   return s;
 #else
-  return socket_tcp();
+  return socket_tcp4();
 #endif
 }