sys: add sock_in and sock_in6 types

20 files changed, 213 insertions, 263 deletions

diff --git a/sys/socket.txt b/sys/socket.txt
index eb4d6c956..dcc1a6eec 100644
--- a/sys/socket.txt
+++ b/sys/socket.txt
@@ -12,7 +12,6 @@ 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])
 accept(fd sock, peer ptr[out, sockaddr, opt], peerlen ptr[inout, len[peer, int32]]) sock
 accept4(fd sock, peer ptr[out, sockaddr, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock
-# TODO: must not bind to port 0, that will result in a random port which is not reproducible
 bind(fd sock, addr ptr[in, sockaddr], addrlen len[addr])
 listen(fd sock, backlog int32)
 connect(fd sock, addr ptr[in, sockaddr], addrlen len[addr])
@@ -58,6 +57,7 @@ sockopt_opt_sock_int = SO_ACCEPTCONN, SO_BROADCAST, SO_DEBUG, SO_DOMAIN, SO_ERRO
 sockopt_opt_sock_timeval = SO_RCVTIMEO, SO_SNDTIMEO
 sockopt_opt_sock_buf = SO_BINDTODEVICE, SO_PEERCRED, SO_PEERNAME, SO_PEERSEC, SO_GET_FILTER
 sockopt_so_timestamping = SOF_TIMESTAMPING_TX_HARDWARE, SOF_TIMESTAMPING_TX_SOFTWARE, SOF_TIMESTAMPING_RX_HARDWARE, SOF_TIMESTAMPING_RX_SOFTWARE, SOF_TIMESTAMPING_SOFTWARE, SOF_TIMESTAMPING_SYS_HARDWARE, SOF_TIMESTAMPING_RAW_HARDWARE, SOF_TIMESTAMPING_OPT_ID, SOF_TIMESTAMPING_TX_SCHED, SOF_TIMESTAMPING_TX_ACK, SOF_TIMESTAMPING_OPT_CMSG, SOF_TIMESTAMPING_OPT_TSONLY
+sock_level = IPPROTO_ICMP, SOL_IP, SOL_TCP, SOL_UDP, SOL_IPV6, SOL_ICMPV6, SOL_SCTP, SOL_UDPLITE, SOL_RAW, SOL_IPX, SOL_AX25, SOL_ATALK, SOL_NETROM, SOL_ROSE, SOL_DECNET, SOL_PACKET, SOL_ATM, SOL_AAL, SOL_IRDA, SOL_NETBEUI, SOL_LLC, SOL_DCCP, SOL_NETLINK, SOL_TIPC, SOL_RXRPC, SOL_PPPOL2TP, SOL_BLUETOOTH, SOL_PNPIPE, SOL_RDS, SOL_IUCV, SOL_CAIF, SOL_ALG, SOL_NFC, SOL_KCM
 
 sockaddr [
 	un		sockaddr_un
diff --git a/sys/socket_amd64.const b/sys/socket_amd64.const
index fe4c4b0a9..65dd51450 100644
--- a/sys/socket_amd64.const
+++ b/sys/socket_amd64.const
@@ -49,7 +49,40 @@ SOF_TIMESTAMPING_TX_ACK = 512
 SOF_TIMESTAMPING_TX_HARDWARE = 1
 SOF_TIMESTAMPING_TX_SCHED = 256
 SOF_TIMESTAMPING_TX_SOFTWARE = 2
+SOL_AAL = 265
+SOL_ALG = 279
+SOL_ATALK = 258
+SOL_ATM = 264
+SOL_AX25 = 257
+SOL_BLUETOOTH = 274
+SOL_CAIF = 278
+SOL_DCCP = 269
+SOL_DECNET = 261
+SOL_ICMPV6 = 58
+SOL_IP = 0
+SOL_IPV6 = 41
+SOL_IPX = 256
+SOL_IRDA = 266
+SOL_IUCV = 277
+SOL_KCM = 281
+SOL_LLC = 268
+SOL_NETBEUI = 267
+SOL_NETLINK = 270
+SOL_NETROM = 259
+SOL_NFC = 280
+SOL_PACKET = 263
+SOL_PNPIPE = 275
+SOL_PPPOL2TP = 273
+SOL_RAW = 255
+SOL_RDS = 276
+SOL_ROSE = 260
+SOL_RXRPC = 272
+SOL_SCTP = 132
 SOL_SOCKET = 1
+SOL_TCP = 6
+SOL_TIPC = 271
+SOL_UDP = 17
+SOL_UDPLITE = 136
 SO_ACCEPTCONN = 30
 SO_ATTACH_BPF = 50
 SO_ATTACH_FILTER = 26
diff --git a/sys/socket_arm64.const b/sys/socket_arm64.const
index 35944d14d..e20a47fe3 100644
--- a/sys/socket_arm64.const
+++ b/sys/socket_arm64.const
@@ -49,7 +49,40 @@ SOF_TIMESTAMPING_TX_ACK = 512
 SOF_TIMESTAMPING_TX_HARDWARE = 1
 SOF_TIMESTAMPING_TX_SCHED = 256
 SOF_TIMESTAMPING_TX_SOFTWARE = 2
+SOL_AAL = 265
+SOL_ALG = 279
+SOL_ATALK = 258
+SOL_ATM = 264
+SOL_AX25 = 257
+SOL_BLUETOOTH = 274
+SOL_CAIF = 278
+SOL_DCCP = 269
+SOL_DECNET = 261
+SOL_ICMPV6 = 58
+SOL_IP = 0
+SOL_IPV6 = 41
+SOL_IPX = 256
+SOL_IRDA = 266
+SOL_IUCV = 277
+SOL_KCM = 281
+SOL_LLC = 268
+SOL_NETBEUI = 267
+SOL_NETLINK = 270
+SOL_NETROM = 259
+SOL_NFC = 280
+SOL_PACKET = 263
+SOL_PNPIPE = 275
+SOL_PPPOL2TP = 273
+SOL_RAW = 255
+SOL_RDS = 276
+SOL_ROSE = 260
+SOL_RXRPC = 272
+SOL_SCTP = 132
 SOL_SOCKET = 1
+SOL_TCP = 6
+SOL_TIPC = 271
+SOL_UDP = 17
+SOL_UDPLITE = 136
 SO_ACCEPTCONN = 30
 SO_ATTACH_BPF = 50
 SO_ATTACH_FILTER = 26
diff --git a/sys/socket_inet.txt b/sys/socket_inet.txt
index 41b214ccd..94a23ee99 100644
--- a/sys/socket_inet.txt
+++ b/sys/socket_inet.txt
@@ -4,33 +4,69 @@
 include <linux/ip.h>
 include <linux/ipv6.h>
 
-getsockopt$ip_int(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_int(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_int], optval ptr[in, int32], optlen len[optval])
-getsockopt$ip_buf(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_buf], optval buffer[out], optlen ptr[inout, len[optval, int32]])
-getsockopt$ip_mreq(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[out, ip_mreq], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_mreq(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[in, ip_mreq], optlen len[optval])
-getsockopt$ip_mreqn(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[out, ip_mreqn], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_mreqn(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[in, ip_mreqn], optlen len[optval])
-getsockopt$ip_mreqsrc(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreqsrc], optval ptr[out, ip_mreq_source], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_mreqsrc(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreqsrc], optval ptr[in, ip_mreq_source], optlen len[optval])
-setsockopt$ip_msfilter(fd sock, level const[IPPROTO_IP], optname const[IP_MSFILTER], optval ptr[in, ip_msfilter], optlen len[optval])
-getsockopt$ip_mtu(fd sock, level const[IPPROTO_IP], optname const[IP_MTU_DISCOVER], optval ptr[out, flags[ip_mtu_discover, int32]], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_mtu(fd sock, level const[IPPROTO_IP], optname const[IP_MTU_DISCOVER], optval ptr[in, flags[ip_mtu_discover, int32]], optlen len[optval])
-getsockopt$ip_opts(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[out], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_opts(fd sock, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[in], optlen len[optval])
-getsockopt$ip_pktinfo(fd sock, level const[IPPROTO_IP], optname const[IP_PKTINFO], optval ptr[out, in_pktinfo], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_pktinfo(fd sock, level const[IPPROTO_IP], optname const[IP_PKTINFO], optval ptr[in, in_pktinfo], optlen len[optval])
-getsockopt$ip_ipsec(fd sock, level const[IPPROTO_IP], optname const[IP_IPSEC_POLICY], optval ptr[out, xfrm_filer], optlen ptr[inout, len[optval, int32]])
-setsockopt$ip_ipsec(fd sock, level const[IPPROTO_IP], optname const[IP_IPSEC_POLICY], optval ptr[in, xfrm_filer], optlen len[optval])
-
-getsockopt$ipv6_int(fd sock, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
-setsockopt$ipv6_int(fd sock, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_int], optval ptr[in, int32], optlen len[optval])
-getsockopt$ipv6_mreq(fd sock, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_mreq], optval ptr[out, ipv6_mreq], optlen ptr[inout, len[optval, int32]])
-setsockopt$ipv6_mreq(fd sock, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_mreq], optval ptr[in, ipv6_mreq], optlen len[optval])
-getsockopt$ipv6_mtu(fd sock, level const[IPPROTO_IPV6], optname const[IPV6_MTU_DISCOVER], optval ptr[out, flags[ip_mtu_discover, int32]], optlen ptr[inout, len[optval, int32]])
-setsockopt$ipv6_mtu(fd sock, level const[IPPROTO_IPV6], optname const[IPV6_MTU_DISCOVER], optval ptr[in, flags[ip_mtu_discover, int32]], optlen len[optval])
-getsockopt$ipv6_opts(fd sock, level const[IPPROTO_IPV6], optname const[IPV6_2292PKTOPTIONS], optval buffer[out], optlen ptr[inout, len[optval, int32]])
-setsockopt$ipv6_opts(fd sock, level const[IPPROTO_IPV6], optname const[IPV6_2292PKTOPTIONS], optval buffer[in], optlen len[optval])
+resource sock_in[sock]
+
+sock_in_pair {
+	f0	sock_in
+	f1	sock_in
+}
+
+socket$inet(domain const[AF_INET], type flags[socket_type], proto int8) sock_in
+socketpair$inet(domain const[AF_INET], type flags[socket_type], proto int8, fds ptr[out, sock_in_pair])
+accept$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_in
+accept4$inet(fd sock_in, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_in
+bind$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr])
+connect$inet(fd sock_in, addr ptr[in, sockaddr_in], addrlen len[addr])
+sendto$inet(fd sock_in, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
+recvfrom$inet(fd sock_in, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
+getsockname$inet(fd sock_in, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]])
+getpeername$inet(fd sock_in, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]])
+
+resource sock_in6[sock]
+
+sock_in6_pair {
+	f0	sock_in6
+	f1	sock_in6
+}
+
+socket$inet6(domain const[AF_INET6], type flags[socket_type], proto int8) sock_in6
+socketpair$inet6(domain const[AF_INET6], type flags[socket_type], proto int8, fds ptr[out, sock_in6_pair])
+accept$inet6(fd sock_in6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_in6
+accept4$inet6(fd sock_in6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_in6
+bind$inet6(fd sock_in6, addr ptr[in, sockaddr_in6], addrlen len[addr])
+connect$inet6(fd sock_in6, addr ptr[in, sockaddr_in6], addrlen len[addr])
+sendto$inet6(fd sock_in6, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
+recvfrom$inet6(fd sock_in6, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
+getsockname$inet6(fd sock_in6, addr ptr[out, sockaddr_in6], addrlen ptr[inout, len[addr, int32]])
+getpeername$inet6(fd sock_in6, peer ptr[out, sockaddr_in6], peerlen ptr[inout, len[peer, int32]])
+
+getsockopt$ip_int(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_int(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_int], optval ptr[in, int32], optlen len[optval])
+getsockopt$ip_buf(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_buf], optval buffer[out], optlen ptr[inout, len[optval, int32]])
+getsockopt$ip_mreq(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[out, ip_mreq], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_mreq(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[in, ip_mreq], optlen len[optval])
+getsockopt$ip_mreqn(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[out, ip_mreqn], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_mreqn(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreq], optval ptr[in, ip_mreqn], optlen len[optval])
+getsockopt$ip_mreqsrc(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreqsrc], optval ptr[out, ip_mreq_source], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_mreqsrc(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_mreqsrc], optval ptr[in, ip_mreq_source], optlen len[optval])
+setsockopt$ip_msfilter(fd sock_in, level const[IPPROTO_IP], optname const[IP_MSFILTER], optval ptr[in, ip_msfilter], optlen len[optval])
+getsockopt$ip_mtu(fd sock_in, level const[IPPROTO_IP], optname const[IP_MTU_DISCOVER], optval ptr[out, flags[ip_mtu_discover, int32]], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_mtu(fd sock_in, level const[IPPROTO_IP], optname const[IP_MTU_DISCOVER], optval ptr[in, flags[ip_mtu_discover, int32]], optlen len[optval])
+getsockopt$ip_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[out], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_opts(fd sock_in, level const[IPPROTO_IP], optname flags[sockopt_opt_ip_opts], optval buffer[in], optlen len[optval])
+getsockopt$ip_pktinfo(fd sock_in, level const[IPPROTO_IP], optname const[IP_PKTINFO], optval ptr[out, in_pktinfo], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_pktinfo(fd sock_in, level const[IPPROTO_IP], optname const[IP_PKTINFO], optval ptr[in, in_pktinfo], optlen len[optval])
+getsockopt$ip_ipsec(fd sock_in, level const[IPPROTO_IP], optname const[IP_IPSEC_POLICY], optval ptr[out, xfrm_filer], optlen ptr[inout, len[optval, int32]])
+setsockopt$ip_ipsec(fd sock_in, level const[IPPROTO_IP], optname const[IP_IPSEC_POLICY], optval ptr[in, xfrm_filer], optlen len[optval])
+
+getsockopt$ipv6_int(fd sock_in6, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
+setsockopt$ipv6_int(fd sock_in6, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_int], optval ptr[in, int32], optlen len[optval])
+getsockopt$ipv6_mreq(fd sock_in6, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_mreq], optval ptr[out, ipv6_mreq], optlen ptr[inout, len[optval, int32]])
+setsockopt$ipv6_mreq(fd sock_in6, level const[IPPROTO_IPV6], optname flags[sockopt_opt_ipv6_mreq], optval ptr[in, ipv6_mreq], optlen len[optval])
+getsockopt$ipv6_mtu(fd sock_in6, level const[IPPROTO_IPV6], optname const[IPV6_MTU_DISCOVER], optval ptr[out, flags[ip_mtu_discover, int32]], optlen ptr[inout, len[optval, int32]])
+setsockopt$ipv6_mtu(fd sock_in6, level const[IPPROTO_IPV6], optname const[IPV6_MTU_DISCOVER], optval ptr[in, flags[ip_mtu_discover, int32]], optlen len[optval])
+getsockopt$ipv6_opts(fd sock_in6, level const[IPPROTO_IPV6], optname const[IPV6_2292PKTOPTIONS], optval buffer[out], optlen ptr[inout, len[optval, int32]])
+setsockopt$ipv6_opts(fd sock_in6, level const[IPPROTO_IPV6], optname const[IPV6_2292PKTOPTIONS], optval buffer[in], optlen len[optval])
 
 sockopt_opt_ip_int = IP_FREEBIND, IP_HDRINCL, IP_MTU, IP_MULTICAST_ALL, IP_MULTICAST_LOOP, IP_MULTICAST_TTL, IP_NODEFRAG, IP_RECVOPTS, IP_RECVORIGDSTADDR, IP_RECVTOS, IP_RECVTTL, IP_RETOPTS, IP_ROUTER_ALERT, IP_TOS, IP_TRANSPARENT, IP_TTL, IP_RECVERR, IP_PASSSEC, IP_MINTTL, IP_CHECKSUM, IP_BIND_ADDRESS_NO_PORT
 sockopt_opt_ip_mreq = IP_ADD_MEMBERSHIP, IP_DROP_MEMBERSHIP, IP_MULTICAST_IF
@@ -41,7 +77,6 @@ ip_msfilter_mode = MCAST_INCLUDE, MCAST_EXCLUDE
 ip_mtu_discover = IP_PMTUDISC_DONT, IP_PMTUDISC_WANT, IP_PMTUDISC_DO, IP_PMTUDISC_PROBE, IP_PMTUDISC_INTERFACE, IP_PMTUDISC_OMIT
 sockopt_opt_ipv6_int = IPV6_ADDRFORM, IPV6_MTU, IPV6_MULTICAST_HOPS, IPV6_MULTICAST_IF, IPV6_MULTICAST_LOOP, IPV6_RECVPKTINFO, IPV6_RECVERR, IPV6_ROUTER_ALERT, IPV6_UNICAST_HOPS, IPV6_V6ONLY, IPV6_RTHDR, IPV6_AUTHHDR, IPV6_DSTOPTS, IPV6_HOPOPTS, IPV6_FLOWINFO, IPV6_HOPLIMIT, IPV6_CHECKSUM, IPV6_2292PKTINFO, IPV6_2292HOPOPTS, IPV6_2292DSTOPTS, IPV6_2292RTHDR, IPV6_2292HOPLIMIT
 sockopt_opt_ipv6_mreq = IPV6_ADD_MEMBERSHIP, IPV6_DROP_MEMBERSHIP, IPV6_JOIN_ANYCAST, IPV6_LEAVE_ANYCAST
-sock_level = IPPROTO_ICMP, SOL_IP, SOL_TCP, SOL_UDP, SOL_IPV6, SOL_ICMPV6, SOL_SCTP, SOL_UDPLITE, SOL_RAW, SOL_IPX, SOL_AX25, SOL_ATALK, SOL_NETROM, SOL_ROSE, SOL_DECNET, SOL_PACKET, SOL_ATM, SOL_AAL, SOL_IRDA, SOL_NETBEUI, SOL_LLC, SOL_DCCP, SOL_NETLINK, SOL_TIPC, SOL_RXRPC, SOL_PPPOL2TP, SOL_BLUETOOTH, SOL_PNPIPE, SOL_RDS, SOL_IUCV, SOL_CAIF, SOL_ALG, SOL_NFC, SOL_KCM
 
 in_addr [
 # 0.0.0.0
diff --git a/sys/socket_inet_amd64.const b/sys/socket_inet_amd64.const
index e94a6be44..d117d3f3f 100644
--- a/sys/socket_inet_amd64.const
+++ b/sys/socket_inet_amd64.const
@@ -1,7 +1,6 @@
 # AUTOGENERATED FILE
 AF_INET = 2
 AF_INET6 = 10
-IPPROTO_ICMP = 1
 IPPROTO_IP = 0
 IPPROTO_IPV6 = 41
 IPV6_2292DSTOPTS = 4
@@ -74,38 +73,15 @@ IP_TTL = 2
 IP_UNBLOCK_SOURCE = 37
 MCAST_EXCLUDE = 0
 MCAST_INCLUDE = 1
-SOL_AAL = 265
-SOL_ALG = 279
-SOL_ATALK = 258
-SOL_ATM = 264
-SOL_AX25 = 257
-SOL_BLUETOOTH = 274
-SOL_CAIF = 278
-SOL_DCCP = 269
-SOL_DECNET = 261
-SOL_ICMPV6 = 58
-SOL_IP = 0
-SOL_IPV6 = 41
-SOL_IPX = 256
-SOL_IRDA = 266
-SOL_IUCV = 277
-SOL_KCM = 281
-SOL_LLC = 268
-SOL_NETBEUI = 267
-SOL_NETLINK = 270
-SOL_NETROM = 259
-SOL_NFC = 280
-SOL_PACKET = 263
-SOL_PNPIPE = 275
-SOL_PPPOL2TP = 273
-SOL_RAW = 255
-SOL_RDS = 276
-SOL_ROSE = 260
-SOL_RXRPC = 272
-SOL_SCTP = 132
-SOL_TCP = 6
-SOL_TIPC = 271
-SOL_UDP = 17
-SOL_UDPLITE = 136
+__NR_accept = 43
+__NR_accept4 = 288
+__NR_bind = 49
+__NR_connect = 42
+__NR_getpeername = 52
+__NR_getsockname = 51
 __NR_getsockopt = 55
+__NR_recvfrom = 45
+__NR_sendto = 44
 __NR_setsockopt = 54
+__NR_socket = 41
+__NR_socketpair = 53
diff --git a/sys/socket_inet_arm64.const b/sys/socket_inet_arm64.const
index af41e04e1..19ec6c369 100644
--- a/sys/socket_inet_arm64.const
+++ b/sys/socket_inet_arm64.const
@@ -1,7 +1,6 @@
 # AUTOGENERATED FILE
 AF_INET = 2
 AF_INET6 = 10
-IPPROTO_ICMP = 1
 IPPROTO_IP = 0
 IPPROTO_IPV6 = 41
 IPV6_2292DSTOPTS = 4
@@ -74,38 +73,15 @@ IP_TTL = 2
 IP_UNBLOCK_SOURCE = 37
 MCAST_EXCLUDE = 0
 MCAST_INCLUDE = 1
-SOL_AAL = 265
-SOL_ALG = 279
-SOL_ATALK = 258
-SOL_ATM = 264
-SOL_AX25 = 257
-SOL_BLUETOOTH = 274
-SOL_CAIF = 278
-SOL_DCCP = 269
-SOL_DECNET = 261
-SOL_ICMPV6 = 58
-SOL_IP = 0
-SOL_IPV6 = 41
-SOL_IPX = 256
-SOL_IRDA = 266
-SOL_IUCV = 277
-SOL_KCM = 281
-SOL_LLC = 268
-SOL_NETBEUI = 267
-SOL_NETLINK = 270
-SOL_NETROM = 259
-SOL_NFC = 280
-SOL_PACKET = 263
-SOL_PNPIPE = 275
-SOL_PPPOL2TP = 273
-SOL_RAW = 255
-SOL_RDS = 276
-SOL_ROSE = 260
-SOL_RXRPC = 272
-SOL_SCTP = 132
-SOL_TCP = 6
-SOL_TIPC = 271
-SOL_UDP = 17
-SOL_UDPLITE = 136
+__NR_accept = 202
+__NR_accept4 = 242
+__NR_bind = 200
+__NR_connect = 203
+__NR_getpeername = 205
+__NR_getsockname = 204
 __NR_getsockopt = 209
+__NR_recvfrom = 207
+__NR_sendto = 206
 __NR_setsockopt = 208
+__NR_socket = 198
+__NR_socketpair = 199
diff --git a/sys/socket_inet_icmp.txt b/sys/socket_inet_icmp.txt
index 0dd4036cf..4343c7b63 100644
--- a/sys/socket_inet_icmp.txt
+++ b/sys/socket_inet_icmp.txt
@@ -6,40 +6,24 @@
 include <linux/icmp.h>
 include <linux/icmpv6.h>
 
-resource sock_icmp[sock]
+resource sock_icmp[sock_in]
 
 socket$icmp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[IPPROTO_ICMP]) sock_icmp
 socket$icmp_raw(domain const[AF_INET], type const[SOCK_RAW], proto const[IPPROTO_ICMP]) sock_icmp
 socketpair$icmp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[IPPROTO_ICMP], fds ptr[out, icmp_pair])
 socketpair$icmp_raw(domain const[AF_INET], type const[SOCK_RAW], proto const[IPPROTO_ICMP], fds ptr[out, icmp_pair])
-accept$icmp(fd sock_icmp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_icmp
-accept4$icmp(fd sock_icmp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_icmp
-bind$icmp(fd sock_icmp, addr ptr[in, sockaddr_in], addrlen len[addr])
-connect$icmp(fd sock_icmp, addr ptr[in, sockaddr_in], addrlen len[addr])
-sendto$icmp(fd sock_icmp, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
-recvfrom$icmp(fd sock_icmp, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
-getsockname$icmp(fd sock_icmp, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]])
-getpeername$icmp(fd sock_icmp, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]])
 
 icmp_pair {
 	f0	sock_icmp
 	f1	sock_icmp
 }
 
-resource sock_icmp6[sock]
+resource sock_icmp6[sock_in6]
 
 socket$icmp6(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[IPPROTO_ICMPV6]) sock_icmp6
 socket$icmp6_raw(domain const[AF_INET6], type const[SOCK_RAW], proto const[IPPROTO_ICMPV6]) sock_icmp6
 socketpair$icmp6(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[IPPROTO_ICMPV6], fds ptr[out, icmp6_pair])
 socketpair$icmp6_raw(domain const[AF_INET6], type const[SOCK_RAW], proto const[IPPROTO_ICMPV6], fds ptr[out, icmp6_pair])
-accept$icmp6(fd sock_icmp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_icmp6
-accept4$icmp6(fd sock_icmp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_icmp6
-bind$icmp6(fd sock_icmp6, addr ptr[in, sockaddr_in6], addrlen len[addr])
-connect$icmp6(fd sock_icmp6, addr ptr[in, sockaddr_in6], addrlen len[addr])
-sendto$icmp6(fd sock_icmp6, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
-recvfrom$icmp6(fd sock_icmp6, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
-getsockname$icmp6(fd sock_icmp6, addr ptr[out, sockaddr_in6], addrlen ptr[inout, len[addr, int32]])
-getpeername$icmp6(fd sock_icmp6, peer ptr[out, sockaddr_in6], peerlen ptr[inout, len[peer, int32]])
 
 icmp6_pair {
 	f0	sock_icmp6
diff --git a/sys/socket_inet_icmp_amd64.const b/sys/socket_inet_icmp_amd64.const
index d02f17183..c0d3ea977 100644
--- a/sys/socket_inet_icmp_amd64.const
+++ b/sys/socket_inet_icmp_amd64.const
@@ -5,13 +5,5 @@ IPPROTO_ICMP = 1
 IPPROTO_ICMPV6 = 58
 SOCK_DGRAM = 2
 SOCK_RAW = 3
-__NR_accept = 43
-__NR_accept4 = 288
-__NR_bind = 49
-__NR_connect = 42
-__NR_getpeername = 52
-__NR_getsockname = 51
-__NR_recvfrom = 45
-__NR_sendto = 44
 __NR_socket = 41
 __NR_socketpair = 53
diff --git a/sys/socket_inet_icmp_arm64.const b/sys/socket_inet_icmp_arm64.const
index 487ef6903..51a57d6df 100644
--- a/sys/socket_inet_icmp_arm64.const
+++ b/sys/socket_inet_icmp_arm64.const
@@ -5,13 +5,5 @@ IPPROTO_ICMP = 1
 IPPROTO_ICMPV6 = 58
 SOCK_DGRAM = 2
 SOCK_RAW = 3
-__NR_accept = 202
-__NR_accept4 = 242
-__NR_bind = 200
-__NR_connect = 203
-__NR_getpeername = 205
-__NR_getsockname = 204
-__NR_recvfrom = 207
-__NR_sendto = 206
 __NR_socket = 198
 __NR_socketpair = 199
diff --git a/sys/socket_inet_icmp_ppc64le.const b/sys/socket_inet_icmp_ppc64le.const
index 3715ed6e1..14ec7251c 100644
--- a/sys/socket_inet_icmp_ppc64le.const
+++ b/sys/socket_inet_icmp_ppc64le.const
@@ -5,13 +5,5 @@ IPPROTO_ICMP = 1
 IPPROTO_ICMPV6 = 58
 SOCK_DGRAM = 2
 SOCK_RAW = 3
-__NR_accept = 330
-__NR_accept4 = 344
-__NR_bind = 327
-__NR_connect = 328
-__NR_getpeername = 332
-__NR_getsockname = 331
-__NR_recvfrom = 337
-__NR_sendto = 335
 __NR_socket = 326
 __NR_socketpair = 333
diff --git a/sys/socket_inet_ppc64le.const b/sys/socket_inet_ppc64le.const
index 5a3f556d5..a2578caed 100644
--- a/sys/socket_inet_ppc64le.const
+++ b/sys/socket_inet_ppc64le.const
@@ -1,7 +1,6 @@
 # AUTOGENERATED FILE
 AF_INET = 2
 AF_INET6 = 10
-IPPROTO_ICMP = 1
 IPPROTO_IP = 0
 IPPROTO_IPV6 = 41
 IPV6_2292DSTOPTS = 4
@@ -74,38 +73,15 @@ IP_TTL = 2
 IP_UNBLOCK_SOURCE = 37
 MCAST_EXCLUDE = 0
 MCAST_INCLUDE = 1
-SOL_AAL = 265
-SOL_ALG = 279
-SOL_ATALK = 258
-SOL_ATM = 264
-SOL_AX25 = 257
-SOL_BLUETOOTH = 274
-SOL_CAIF = 278
-SOL_DCCP = 269
-SOL_DECNET = 261
-SOL_ICMPV6 = 58
-SOL_IP = 0
-SOL_IPV6 = 41
-SOL_IPX = 256
-SOL_IRDA = 266
-SOL_IUCV = 277
-SOL_KCM = 281
-SOL_LLC = 268
-SOL_NETBEUI = 267
-SOL_NETLINK = 270
-SOL_NETROM = 259
-SOL_NFC = 280
-SOL_PACKET = 263
-SOL_PNPIPE = 275
-SOL_PPPOL2TP = 273
-SOL_RAW = 255
-SOL_RDS = 276
-SOL_ROSE = 260
-SOL_RXRPC = 272
-SOL_SCTP = 132
-SOL_TCP = 6
-SOL_TIPC = 271
-SOL_UDP = 17
-SOL_UDPLITE = 136
+__NR_accept = 330
+__NR_accept4 = 344
+__NR_bind = 327
+__NR_connect = 328
+__NR_getpeername = 332
+__NR_getsockname = 331
 __NR_getsockopt = 340
+__NR_recvfrom = 337
+__NR_sendto = 335
 __NR_setsockopt = 339
+__NR_socket = 326
+__NR_socketpair = 333
diff --git a/sys/socket_inet_tcp.txt b/sys/socket_inet_tcp.txt
index c4d8fdae9..3a8552162 100644
--- a/sys/socket_inet_tcp.txt
+++ b/sys/socket_inet_tcp.txt
@@ -5,36 +5,20 @@
 
 include <linux/tcp.h>
 
-resource sock_tcp[sock]
+resource sock_tcp[sock_in]
 
 socket$tcp(domain const[AF_INET], type const[SOCK_STREAM], proto const[0]) sock_tcp
 socketpair$tcp(domain const[AF_INET], type const[SOCK_STREAM], proto const[0], fds ptr[out, tcp_pair])
-accept$tcp(fd sock_tcp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_tcp
-accept4$tcp(fd sock_tcp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_tcp
-bind$tcp(fd sock_tcp, addr ptr[in, sockaddr_in], addrlen len[addr])
-connect$tcp(fd sock_tcp, addr ptr[in, sockaddr_in], addrlen len[addr])
-sendto$tcp(fd sock_tcp, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
-recvfrom$tcp(fd sock_tcp, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
-getsockname$tcp(fd sock_tcp, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]])
-getpeername$tcp(fd sock_tcp, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]])
 
 tcp_pair {
 	f0	sock_tcp
 	f1	sock_tcp
 }
 
-resource sock_tcp6[sock]
+resource sock_tcp6[sock_in6]
 
 socket$tcp6(domain const[AF_INET6], type const[SOCK_STREAM], proto const[0]) sock_tcp6
 socketpair$tcp6(domain const[AF_INET6], type const[SOCK_STREAM], proto const[0], fds ptr[out, tcp6_pair])
-accept$tcp6(fd sock_tcp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_tcp6
-accept4$tcp6(fd sock_tcp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_tcp6
-bind$tcp6(fd sock_tcp6, addr ptr[in, sockaddr_in6], addrlen len[addr])
-connect$tcp6(fd sock_tcp6, addr ptr[in, sockaddr_in6], addrlen len[addr])
-sendto$tcp6(fd sock_tcp6, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
-recvfrom$tcp6(fd sock_tcp6, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
-getsockname$tcp6(fd sock_tcp6, addr ptr[out, sockaddr_in6], addrlen ptr[inout, len[addr, int32]])
-getpeername$tcp6(fd sock_tcp6, peer ptr[out, sockaddr_in6], peerlen ptr[inout, len[peer, int32]])
 
 tcp6_pair {
 	f0	sock_tcp6
@@ -43,7 +27,12 @@ tcp6_pair {
 
 sockopt_opt_tcp_int = TCP_CORK, TCP_DEFER_ACCEPT, TCP_KEEPCNT, TCP_KEEPIDLE, TCP_KEEPINTVL, TCP_LINGER2, TCP_MAXSEG, TCP_NODELAY, TCP_QUICKACK, TCP_SYNCNT, TCP_WINDOW_CLAMP
 
-getsockopt$tcp_int(fd sock, level const[IPPROTO_TCP], optname flags[sockopt_opt_tcp_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
-setsockopt$tcp_int(fd sock, level const[IPPROTO_TCP], optname flags[sockopt_opt_tcp_int], optval ptr[in, int32], optlen len[optval])
-getsockopt$tcp_buf(fd sock, level const[IPPROTO_TCP], optname const[TCP_INFO], optval buffer[out], optlen ptr[inout, len[optval, int32]])
-setsockopt$tcp_buf(fd sock, level const[IPPROTO_TCP], optname const[TCP_INFO], optval buffer[in], optlen len[optval])
+getsockopt$tcp_int(fd sock_tcp, level const[IPPROTO_TCP], optname flags[sockopt_opt_tcp_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
+setsockopt$tcp_int(fd sock_tcp, level const[IPPROTO_TCP], optname flags[sockopt_opt_tcp_int], optval ptr[in, int32], optlen len[optval])
+getsockopt$tcp6_int(fd sock_tcp6, level const[IPPROTO_TCP], optname flags[sockopt_opt_tcp_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
+setsockopt$tcp6_int(fd sock_tcp6, level const[IPPROTO_TCP], optname flags[sockopt_opt_tcp_int], optval ptr[in, int32], optlen len[optval])
+
+getsockopt$tcp_buf(fd sock_tcp, level const[IPPROTO_TCP], optname const[TCP_INFO], optval buffer[out], optlen ptr[inout, len[optval, int32]])
+setsockopt$tcp_buf(fd sock_tcp, level const[IPPROTO_TCP], optname const[TCP_INFO], optval buffer[in], optlen len[optval])
+getsockopt$tcp6_buf(fd sock_tcp6, level const[IPPROTO_TCP], optname const[TCP_INFO], optval buffer[out], optlen ptr[inout, len[optval, int32]])
+setsockopt$tcp6_buf(fd sock_tcp6, level const[IPPROTO_TCP], optname const[TCP_INFO], optval buffer[in], optlen len[optval])
diff --git a/sys/socket_inet_tcp_amd64.const b/sys/socket_inet_tcp_amd64.const
index 9d58825e7..bcc80c944 100644
--- a/sys/socket_inet_tcp_amd64.const
+++ b/sys/socket_inet_tcp_amd64.const
@@ -15,15 +15,7 @@ TCP_NODELAY = 1
 TCP_QUICKACK = 12
 TCP_SYNCNT = 7
 TCP_WINDOW_CLAMP = 10
-__NR_accept = 43
-__NR_accept4 = 288
-__NR_bind = 49
-__NR_connect = 42
-__NR_getpeername = 52
-__NR_getsockname = 51
 __NR_getsockopt = 55
-__NR_recvfrom = 45
-__NR_sendto = 44
 __NR_setsockopt = 54
 __NR_socket = 41
 __NR_socketpair = 53
diff --git a/sys/socket_inet_tcp_arm64.const b/sys/socket_inet_tcp_arm64.const
index f43649f49..602973c6c 100644
--- a/sys/socket_inet_tcp_arm64.const
+++ b/sys/socket_inet_tcp_arm64.const
@@ -15,15 +15,7 @@ TCP_NODELAY = 1
 TCP_QUICKACK = 12
 TCP_SYNCNT = 7
 TCP_WINDOW_CLAMP = 10
-__NR_accept = 202
-__NR_accept4 = 242
-__NR_bind = 200
-__NR_connect = 203
-__NR_getpeername = 205
-__NR_getsockname = 204
 __NR_getsockopt = 209
-__NR_recvfrom = 207
-__NR_sendto = 206
 __NR_setsockopt = 208
 __NR_socket = 198
 __NR_socketpair = 199
diff --git a/sys/socket_inet_tcp_ppc64le.const b/sys/socket_inet_tcp_ppc64le.const
index c82d7ed3d..5557148f5 100644
--- a/sys/socket_inet_tcp_ppc64le.const
+++ b/sys/socket_inet_tcp_ppc64le.const
@@ -15,15 +15,7 @@ TCP_NODELAY = 1
 TCP_QUICKACK = 12
 TCP_SYNCNT = 7
 TCP_WINDOW_CLAMP = 10
-__NR_accept = 330
-__NR_accept4 = 344
-__NR_bind = 327
-__NR_connect = 328
-__NR_getpeername = 332
-__NR_getsockname = 331
 __NR_getsockopt = 340
-__NR_recvfrom = 337
-__NR_sendto = 335
 __NR_setsockopt = 339
 __NR_socket = 326
 __NR_socketpair = 333
diff --git a/sys/socket_inet_udp.txt b/sys/socket_inet_udp.txt
index 20151fdd2..37b464f97 100644
--- a/sys/socket_inet_udp.txt
+++ b/sys/socket_inet_udp.txt
@@ -5,41 +5,28 @@
 
 include <linux/udp.h>
 
-resource sock_udp[sock]
+resource sock_udp[sock_in]
 
 socket$udp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[0]) sock_udp
 socketpair$udp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[0], fds ptr[out, udp_pair])
-accept$udp(fd sock_udp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_udp
-accept4$udp(fd sock_udp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_udp
-bind$udp(fd sock_udp, addr ptr[in, sockaddr_in], addrlen len[addr])
-connect$udp(fd sock_udp, addr ptr[in, sockaddr_in], addrlen len[addr])
-sendto$udp(fd sock_udp, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
-recvfrom$udp(fd sock_udp, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr])
-getsockname$udp(fd sock_udp, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]])
-getpeername$udp(fd sock_udp, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]])
 
 udp_pair {
 	f0	sock_udp
 	f1	sock_udp
 }
 
-resource sock_udp6[sock]
+resource sock_udp6[sock_in6]
 
 socket$udp6(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[0]) sock_udp6
 socketpair$udp6(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[0], fds ptr[out, udp6_pair])
-accept$udp6(fd sock_udp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_udp6
-accept4$udp6(fd sock_udp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_udp6
-bind$udp6(fd sock_udp6, addr ptr[in, sockaddr_in6], addrlen len[addr])
-connect$udp6(fd sock_udp6, addr ptr[in, sockaddr_in6], addrlen len[addr])
-sendto$udp6(fd sock_udp6, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
-recvfrom$udp6(fd sock_udp6, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr])
-getsockname$udp6(fd sock_udp6, addr ptr[out, sockaddr_in6], addrlen ptr[inout, len[addr, int32]])
-getpeername$udp6(fd sock_udp6, peer ptr[out, sockaddr_in6], peerlen ptr[inout, len[peer, int32]])
 
 udp6_pair {
 	f0	sock_udp6
 	f1	sock_udp6
 }
 
-getsockopt$udp_int(fd sock, level const[IPPROTO_UDP], optname const[UDP_CORK], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
-setsockopt$udp_int(fd sock, level const[IPPROTO_UDP], optname const[UDP_CORK], optval ptr[in, int32], optlen len[optval])
+getsockopt$udp_int(fd sock_udp, level const[IPPROTO_UDP], optname const[UDP_CORK], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
+setsockopt$udp_int(fd sock_udp, level const[IPPROTO_UDP], optname const[UDP_CORK], optval ptr[in, int32], optlen len[optval])
+
+getsockopt$udp6_int(fd sock_udp6, level const[IPPROTO_UDP], optname const[UDP_CORK], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
+setsockopt$udp6_int(fd sock_udp6, level const[IPPROTO_UDP], optname const[UDP_CORK], optval ptr[in, int32], optlen len[optval])
diff --git a/sys/socket_inet_udp_amd64.const b/sys/socket_inet_udp_amd64.const
index 2357f1ca3..c48c1d9ab 100644
--- a/sys/socket_inet_udp_amd64.const
+++ b/sys/socket_inet_udp_amd64.const
@@ -4,15 +4,7 @@ AF_INET6 = 10
 IPPROTO_UDP = 17
 SOCK_DGRAM = 2
 UDP_CORK = 1
-__NR_accept = 43
-__NR_accept4 = 288
-__NR_bind = 49
-__NR_connect = 42
-__NR_getpeername = 52
-__NR_getsockname = 51
 __NR_getsockopt = 55
-__NR_recvfrom = 45
-__NR_sendto = 44
 __NR_setsockopt = 54
 __NR_socket = 41
 __NR_socketpair = 53
diff --git a/sys/socket_inet_udp_arm64.const b/sys/socket_inet_udp_arm64.const
index bea5eb77c..a76517a13 100644
--- a/sys/socket_inet_udp_arm64.const
+++ b/sys/socket_inet_udp_arm64.const
@@ -4,15 +4,7 @@ AF_INET6 = 10
 IPPROTO_UDP = 17
 SOCK_DGRAM = 2
 UDP_CORK = 1
-__NR_accept = 202
-__NR_accept4 = 242
-__NR_bind = 200
-__NR_connect = 203
-__NR_getpeername = 205
-__NR_getsockname = 204
 __NR_getsockopt = 209
-__NR_recvfrom = 207
-__NR_sendto = 206
 __NR_setsockopt = 208
 __NR_socket = 198
 __NR_socketpair = 199
diff --git a/sys/socket_inet_udp_ppc64le.const b/sys/socket_inet_udp_ppc64le.const
index 2cccf51da..db1f23451 100644
--- a/sys/socket_inet_udp_ppc64le.const
+++ b/sys/socket_inet_udp_ppc64le.const
@@ -4,15 +4,7 @@ AF_INET6 = 10
 IPPROTO_UDP = 17
 SOCK_DGRAM = 2
 UDP_CORK = 1
-__NR_accept = 330
-__NR_accept4 = 344
-__NR_bind = 327
-__NR_connect = 328
-__NR_getpeername = 332
-__NR_getsockname = 331
 __NR_getsockopt = 340
-__NR_recvfrom = 337
-__NR_sendto = 335
 __NR_setsockopt = 339
 __NR_socket = 326
 __NR_socketpair = 333
diff --git a/sys/socket_ppc64le.const b/sys/socket_ppc64le.const
index f563a1729..cf744c72b 100644
--- a/sys/socket_ppc64le.const
+++ b/sys/socket_ppc64le.const
@@ -49,7 +49,40 @@ SOF_TIMESTAMPING_TX_ACK = 512
 SOF_TIMESTAMPING_TX_HARDWARE = 1
 SOF_TIMESTAMPING_TX_SCHED = 256
 SOF_TIMESTAMPING_TX_SOFTWARE = 2
+SOL_AAL = 265
+SOL_ALG = 279
+SOL_ATALK = 258
+SOL_ATM = 264
+SOL_AX25 = 257
+SOL_BLUETOOTH = 274
+SOL_CAIF = 278
+SOL_DCCP = 269
+SOL_DECNET = 261
+SOL_ICMPV6 = 58
+SOL_IP = 0
+SOL_IPV6 = 41
+SOL_IPX = 256
+SOL_IRDA = 266
+SOL_IUCV = 277
+SOL_KCM = 281
+SOL_LLC = 268
+SOL_NETBEUI = 267
+SOL_NETLINK = 270
+SOL_NETROM = 259
+SOL_NFC = 280
+SOL_PACKET = 263
+SOL_PNPIPE = 275
+SOL_PPPOL2TP = 273
+SOL_RAW = 255
+SOL_RDS = 276
+SOL_ROSE = 260
+SOL_RXRPC = 272
+SOL_SCTP = 132
 SOL_SOCKET = 1
+SOL_TCP = 6
+SOL_TIPC = 271
+SOL_UDP = 17
+SOL_UDPLITE = 136
 SO_ACCEPTCONN = 30
 SO_ATTACH_BPF = 50
 SO_ATTACH_FILTER = 26