aboutsummaryrefslogtreecommitdiffstats
path: root/sys/openbsd/socket.txt
diff options
context:
space:
mode:
authorMichael Tuexen <tuexen@freebsd.org>2018-12-09 15:02:39 +0100
committerDmitry Vyukov <dvyukov@google.com>2018-12-09 15:31:32 +0100
commit96cc4c50c3e0bd42e1a0ebad8539fc6734b60ecf (patch)
treecb581b93eaf1df79691a5d07c01bb0e6355d51df /sys/openbsd/socket.txt
parenta320ef9292e89f02492cdbedacec6038aa7155a6 (diff)
sys/openbsd: fix socketpair usage
Diffstat (limited to 'sys/openbsd/socket.txt')
-rw-r--r--sys/openbsd/socket.txt7
1 files changed, 6 insertions, 1 deletions
diff --git a/sys/openbsd/socket.txt b/sys/openbsd/socket.txt
index 22fe7b906..cf2e8beb1 100644
--- a/sys/openbsd/socket.txt
+++ b/sys/openbsd/socket.txt
@@ -13,7 +13,7 @@ type sock_port proc[20000, 4, int16be]
# TODO: describe socketcall syscall
socket(domain flags[socket_domain], type flags[socket_type], proto int8) sock
-socketpair(domain flags[socket_domain], type flags[socket_type], proto int8, fds ptr[out, pipefd])
+socketpair(domain flags[socket_domain], type flags[socket_type], proto int8, fds ptr[out, sock_pair])
bind(fd sock, addr ptr[in, sockaddr_storage], addrlen len[addr])
connect(fd sock, addr ptr[in, sockaddr_storage], addrlen len[addr])
accept(fd sock, peer ptr[out, sockaddr_storage, opt], peerlen ptr[inout, len[peer, int32]]) sock
@@ -40,6 +40,11 @@ send_flags = MSG_OOB, MSG_PEEK, MSG_DONTROUTE, MSG_EOR, MSG_NOSIGNAL
recv_flags = MSG_CMSG_CLOEXEC, MSG_OOB, MSG_PEEK, MSG_WAITALL
cmsg_levels = SOL_SOCKET, IPPROTO_ICMP
+sock_pair {
+ fd0 sock
+ fd1 sock
+}
+
# This sockaddr type corresponds to the sockaddr_storage type and is 128 bytes size.
sockaddr_storage [
un sockaddr_un