From 0ec1144963cffce720dc873b6311730267969fd7 Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Thu, 9 Feb 2017 14:28:02 +0100 Subject: sys: split socket.txt into multiple files based on socket type This just moves syscall descriptions and fixes up includes without any semantic changes. --- sys/kcm.txt | 33 -- sys/netlink.txt | 71 ---- sys/netrom.txt | 66 ---- sys/sctp.txt | 322 ----------------- sys/socket.txt | 688 +------------------------------------ sys/socket_alg.txt | 74 ++++ sys/socket_alg_amd64.const | 39 +++ sys/socket_alg_arm64.const | 39 +++ sys/socket_alg_ppc64le.const | 39 +++ sys/socket_amd64.const | 247 ------------- sys/socket_arm64.const | 247 ------------- sys/socket_bluetooth.txt | 264 ++++++++++++++ sys/socket_bluetooth_amd64.const | 90 +++++ sys/socket_bluetooth_arm64.const | 90 +++++ sys/socket_bluetooth_ppc64le.const | 90 +++++ sys/socket_inet.txt | 208 +++++++++++ sys/socket_inet_amd64.const | 111 ++++++ sys/socket_inet_arm64.const | 111 ++++++ sys/socket_inet_icmp.txt | 47 +++ sys/socket_inet_icmp_amd64.const | 17 + sys/socket_inet_icmp_arm64.const | 17 + sys/socket_inet_icmp_ppc64le.const | 17 + sys/socket_inet_ppc64le.const | 111 ++++++ sys/socket_inet_sctp.txt | 324 +++++++++++++++++ sys/socket_inet_sctp_amd64.const | 82 +++++ sys/socket_inet_sctp_arm64.const | 82 +++++ sys/socket_inet_sctp_ppc64le.const | 82 +++++ sys/socket_inet_tcp.txt | 49 +++ sys/socket_inet_tcp_amd64.const | 29 ++ sys/socket_inet_tcp_arm64.const | 29 ++ sys/socket_inet_tcp_ppc64le.const | 29 ++ sys/socket_inet_udp.txt | 45 +++ sys/socket_inet_udp_amd64.const | 18 + sys/socket_inet_udp_arm64.const | 18 + sys/socket_inet_udp_ppc64le.const | 18 + sys/socket_kcm.txt | 33 ++ sys/socket_kcm_amd64.const | 16 + sys/socket_kcm_arm64.const | 16 + sys/socket_kcm_ppc64le.const | 16 + sys/socket_key.txt | 13 + sys/socket_key_amd64.const | 1 + sys/socket_key_arm64.const | 1 + sys/socket_key_ppc64le.const | 1 + sys/socket_netlink.txt | 73 ++++ sys/socket_netlink_amd64.const | 59 ++++ sys/socket_netlink_arm64.const | 59 ++++ sys/socket_netlink_ppc64le.const | 59 ++++ sys/socket_netrom.txt | 66 ++++ sys/socket_netrom_amd64.const | 27 ++ sys/socket_netrom_arm64.const | 27 ++ sys/socket_netrom_ppc64le.const | 27 ++ sys/socket_nfc.txt | 58 ++++ sys/socket_nfc_amd64.const | 28 ++ sys/socket_nfc_arm64.const | 28 ++ sys/socket_nfc_ppc64le.const | 28 ++ sys/socket_ppc64le.const | 247 ------------- sys/socket_unix.txt | 78 +++++ sys/socket_unix_amd64.const | 21 ++ sys/socket_unix_arm64.const | 21 ++ sys/socket_unix_ppc64le.const | 21 ++ sys/sys.txt | 134 -------- sys/test_amd64.const | 1 + sys/test_arm64.const | 1 + sys/test_ppc64le.const | 1 + sys/vnet_amd64.const | 5 - sys/vnet_arm64.const | 5 - sys/vnet_ppc64le.const | 5 - 67 files changed, 2952 insertions(+), 2067 deletions(-) delete mode 100755 sys/kcm.txt delete mode 100644 sys/netlink.txt delete mode 100755 sys/netrom.txt delete mode 100755 sys/sctp.txt create mode 100644 sys/socket_alg.txt create mode 100644 sys/socket_alg_amd64.const create mode 100644 sys/socket_alg_arm64.const create mode 100644 sys/socket_alg_ppc64le.const create mode 100644 sys/socket_bluetooth.txt create mode 100644 sys/socket_bluetooth_amd64.const create mode 100644 sys/socket_bluetooth_arm64.const create mode 100644 sys/socket_bluetooth_ppc64le.const create mode 100644 sys/socket_inet.txt create mode 100644 sys/socket_inet_amd64.const create mode 100644 sys/socket_inet_arm64.const create mode 100644 sys/socket_inet_icmp.txt create mode 100644 sys/socket_inet_icmp_amd64.const create mode 100644 sys/socket_inet_icmp_arm64.const create mode 100644 sys/socket_inet_icmp_ppc64le.const create mode 100644 sys/socket_inet_ppc64le.const create mode 100755 sys/socket_inet_sctp.txt create mode 100644 sys/socket_inet_sctp_amd64.const create mode 100644 sys/socket_inet_sctp_arm64.const create mode 100644 sys/socket_inet_sctp_ppc64le.const create mode 100644 sys/socket_inet_tcp.txt create mode 100644 sys/socket_inet_tcp_amd64.const create mode 100644 sys/socket_inet_tcp_arm64.const create mode 100644 sys/socket_inet_tcp_ppc64le.const create mode 100644 sys/socket_inet_udp.txt create mode 100644 sys/socket_inet_udp_amd64.const create mode 100644 sys/socket_inet_udp_arm64.const create mode 100644 sys/socket_inet_udp_ppc64le.const create mode 100755 sys/socket_kcm.txt create mode 100644 sys/socket_kcm_amd64.const create mode 100644 sys/socket_kcm_arm64.const create mode 100644 sys/socket_kcm_ppc64le.const create mode 100644 sys/socket_key.txt create mode 100644 sys/socket_key_amd64.const create mode 100644 sys/socket_key_arm64.const create mode 100644 sys/socket_key_ppc64le.const create mode 100644 sys/socket_netlink.txt create mode 100644 sys/socket_netlink_amd64.const create mode 100644 sys/socket_netlink_arm64.const create mode 100644 sys/socket_netlink_ppc64le.const create mode 100755 sys/socket_netrom.txt create mode 100644 sys/socket_netrom_amd64.const create mode 100644 sys/socket_netrom_arm64.const create mode 100644 sys/socket_netrom_ppc64le.const create mode 100644 sys/socket_nfc.txt create mode 100644 sys/socket_nfc_amd64.const create mode 100644 sys/socket_nfc_arm64.const create mode 100644 sys/socket_nfc_ppc64le.const create mode 100644 sys/socket_unix.txt create mode 100644 sys/socket_unix_amd64.const create mode 100644 sys/socket_unix_arm64.const create mode 100644 sys/socket_unix_ppc64le.const create mode 100644 sys/test_amd64.const create mode 100644 sys/test_arm64.const create mode 100644 sys/test_ppc64le.const (limited to 'sys') diff --git a/sys/kcm.txt b/sys/kcm.txt deleted file mode 100755 index feb7eb80c..000000000 --- a/sys/kcm.txt +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 2016 syzkaller project authors. All rights reserved. -# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. - -include -include -include - -resource sock_kcm[sock] - -socket$kcm(domain const[AF_KCM], type flags[kcm_socket_type], proto const[KCMPROTO_CONNECTED]) sock_kcm -setsockopt$KCM_RECV_DISABLE(fd sock_kcm, level const[SOL_KCM], opt const[KCM_RECV_DISABLE], val ptr[in, int32], len len[val]) -getsockopt$KCM_RECV_DISABLE(fd sock_kcm, level const[SOL_KCM], opt const[KCM_RECV_DISABLE], val ptr[out, int32], len len[val]) -sendmsg$kcm(fd sock_kcm, msg ptr[in, send_msghdr], f flags[send_flags]) -recvmsg$kcm(fd sock_kcm, msg ptr[in, recv_msghdr], f flags[recv_flags]) - -ioctl$SIOCKCMATTACH(fd sock_kcm, cmd const[SIOCKCMATTACH], arg ptr[in, kcm_attach]) -ioctl$SIOCKCMUNATTACH(fd sock_kcm, cmd const[SIOCKCMUNATTACH], arg ptr[in, kcm_unattach]) -ioctl$SIOCKCMCLONE(fd sock_kcm, cmd const[SIOCKCMCLONE], arg ptr[inout, kcm_clone]) - -kcm_socket_type = SOCK_DGRAM, SOCK_SEQPACKET - -kcm_attach { - fd sock - bpf_fd fd_bpf_prog -} - -kcm_unattach { - fd sock -} - -kcm_clone { - fd sock -} diff --git a/sys/netlink.txt b/sys/netlink.txt deleted file mode 100644 index dddd14954..000000000 --- a/sys/netlink.txt +++ /dev/null @@ -1,71 +0,0 @@ -# Copyright 2015 syzkaller project authors. All rights reserved. -# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. - -include -include - -resource sock_netlink[sock] - -socket$netlink(domain const[AF_NETLINK], type const[SOCK_RAW], proto flags[netlink_proto]) sock_netlink -bind$netlink(fd sock_netlink, addr ptr[in, sockaddr_nl], addrlen len[addr]) -connect$netlink(fd sock_netlink, addr ptr[in, sockaddr_nl], addrlen len[addr]) -getsockname$netlink(fd sock_netlink, addr ptr[out, sockaddr_nl], addrlen ptr[inout, len[addr, int32]]) -getpeername$netlink(fd sock_netlink, peer ptr[out, sockaddr_nl], peerlen ptr[inout, len[peer, int32]]) -sendmsg$netlink(fd sock_netlink, msg ptr[in, msghdr_netlink], f flags[send_flags]) -setsockopt$NETLINK_ADD_MEMBERSHIP(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_ADD_MEMBERSHIP], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETLINK_DROP_MEMBERSHIP(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_DROP_MEMBERSHIP], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETLINK_PKTINFO(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_PKTINFO], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETLINK_BROADCAST_ERROR(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_BROADCAST_ERROR], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETLINK_NO_ENOBUFS(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_NO_ENOBUFS], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETLINK_RX_RING(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_RX_RING], arg ptr[in, nl_mmap_req], arglen len[arg]) -setsockopt$NETLINK_TX_RING(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_TX_RING], arg ptr[in, nl_mmap_req], arglen len[arg]) -setsockopt$NETLINK_LISTEN_ALL_NSID(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_LISTEN_ALL_NSID], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETLINK_CAP_ACK(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_CAP_ACK], arg ptr[in, int32], arglen len[arg]) -getsockopt$netlink(fd sock_netlink, level const[SOL_NETLINK], opt flags[netlink_sockopts], arg buffer[out], arglen ptr[inout, len[arg, int32]]) - -netlink_family = AF_NETLINK, AF_UNSPEC -netlink_proto = NETLINK_ROUTE, NETLINK_UNUSED, NETLINK_USERSOCK, NETLINK_FIREWALL, NETLINK_SOCK_DIAG, NETLINK_NFLOG, NETLINK_XFRM, NETLINK_SELINUX, NETLINK_ISCSI, NETLINK_AUDIT, NETLINK_FIB_LOOKUP, NETLINK_CONNECTOR, NETLINK_NETFILTER, NETLINK_IP6_FW, NETLINK_DNRTMSG, NETLINK_KOBJECT_UEVENT, NETLINK_GENERIC, NETLINK_SCSITRANSPORT, NETLINK_ECRYPTFS, NETLINK_RDMA, NETLINK_CRYPTO, NETLINK_INET_DIAG -netlink_sockopts = NETLINK_ADD_MEMBERSHIP, NETLINK_DROP_MEMBERSHIP, NETLINK_PKTINFO, NETLINK_BROADCAST_ERROR, NETLINK_NO_ENOBUFS, NETLINK_RX_RING, NETLINK_TX_RING, NETLINK_LISTEN_ALL_NSID, NETLINK_LIST_MEMBERSHIPS, NETLINK_CAP_ACK -netlink_msg_flags = NLM_F_REQUEST, NLM_F_MULTI, NLM_F_ACK, NLM_F_ECHO, NLM_F_DUMP_INTR, NLM_F_DUMP_FILTERED, NLM_F_ROOT, NLM_F_MATCH, NLM_F_ATOMIC, NLM_F_DUMP, NLM_F_REPLACE, NLM_F_EXCL, NLM_F_CREATE, NLM_F_APPEND - -sockaddr_nl { - family flags[netlink_family, int16] - pad const[0, int16] - pid int32 - groups int32 -} - -msghdr_netlink { - addr ptr[in, sockaddr_nl, opt] - addrlen len[addr, int32] - vec ptr[in, array[iovec_nl]] - vlen len[vec, intptr] - ctrl ptr[in, array[cmsghdr_un], opt] - ctrllen len[ctrl, intptr] - f flags[send_flags, int32] -} - -iovec_nl { - data ptr[in, array[netlink_msg]] - len bytesize[data, intptr] -} - -netlink_msg { - len len[parent, int32] - type int16 - flags flags[netlink_msg_flags, int16] - seq int32 - pid int32 - data array[int8] -} - -nl_mmap_req { - bsize int32 - bnumber int32 - fsize int32 - fnumber int32 -} - -# Removed (if __KERNEL__ defined) in next-20160229 (commit d1b4c689) -define NETLINK_RX_RING 6 -define NETLINK_TX_RING 7 diff --git a/sys/netrom.txt b/sys/netrom.txt deleted file mode 100755 index d346e85d0..000000000 --- a/sys/netrom.txt +++ /dev/null @@ -1,66 +0,0 @@ -# Copyright 2016 syzkaller project authors. All rights reserved. -# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. - -include -include -include - -resource sock_netrom[sock] - -socket$netrom(domain const[AF_NETROM], type const[SOCK_SEQPACKET], proto const[0]) sock_netrom -bind$netrom(fd sock_netrom, addr ptr[in, sockaddr_netrom], addrlen len[addr]) -connect$netrom(fd sock_netrom, addr ptr[in, sockaddr_netrom], addrlen len[addr]) -accept$netrom(fd sock_netrom, peer ptr[out, sockaddr_netrom, opt], peerlen ptr[inout, len[peer, int32]]) sock_netrom -listen$netrom(fd sock_netrom, backlog int32) -sendmsg$netrom(fd sock_netrom, msg ptr[in, msghdr_netrom], f flags[send_flags]) -recvmsg$netrom(fd sock_netrom, msg ptr[in, msghdr_netrom], f flags[recv_flags]) -getsockname$netrom(fd sock_netrom, addr ptr[out, sockaddr_netrom], addrlen ptr[inout, len[addr, int32]]) -getpeername$netrom(fd sock_netrom, peer ptr[out, sockaddr_netrom], peerlen ptr[inout, len[peer, int32]]) - -setsockopt$NETROM_T1(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T1], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETROM_T2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T2], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETROM_N2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_N2], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETROM_T4(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T4], arg ptr[in, int32], arglen len[arg]) -setsockopt$NETROM_IDLE(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_IDLE], arg ptr[in, int32], arglen len[arg]) - -getsockopt$NETROM_T1(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T1], arg ptr[out, int32], arglen ptr[inout, len[arg, int32]]) -getsockopt$NETROM_T2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T2], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) -getsockopt$NETROM_N2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_N2], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) -getsockopt$NETROM_T4(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T4], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) -getsockopt$NETROM_IDLE(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_IDLE], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) - -ioctl$NETROM_TIOCOUTQ(fd sock_netrom, cmd const[TIOCOUTQ], arg ptr[out, int32]) -ioctl$NETROM_TIOCINQ(fd sock_netrom, cmd const[TIOCINQ], arg ptr[out, int32]) -ioctl$NETROM_SIOCGSTAMP(fd sock_netrom, cmd const[SIOCGSTAMP], arg ptr[out, int32]) -ioctl$NETROM_SIOCGSTAMPNS(fd sock_netrom, cmd const[SIOCGSTAMPNS], arg ptr[out, int32]) -ioctl$NETROM_SIOCADDRT(fd sock_netrom, cmd const[SIOCADDRT], arg ptr[out, int32]) - -ax25_address { - call array[int8, 7] -} - -sockaddr_ax25 { - family const[AF_NETROM, int16] - call ax25_address - ndigis int32 -} - -full_sockaddr_ax25 { - ax25 sockaddr_ax25 - dig array[ax25_address, AX25_MAX_DIGIS] -} - -sockaddr_netrom [ - ax25 sockaddr_ax25 - full full_sockaddr_ax25 -] [varlen] - -msghdr_netrom { - addr ptr[in, sockaddr_netrom] - addrlen len[addr, int32] - vec ptr[in, array[iovec_in]] - vlen len[vec, intptr] - ctrl ptr[in, array[cmsghdr], opt] - ctrllen len[ctrl, intptr] - f flags[send_flags, int32] -} diff --git a/sys/sctp.txt b/sys/sctp.txt deleted file mode 100755 index b993c526f..000000000 --- a/sys/sctp.txt +++ /dev/null @@ -1,322 +0,0 @@ -# Copyright 2015 syzkaller project authors. All rights reserved. -# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. - -include -include - -resource sock_sctp[sock] - -socket$sctp(domain const[AF_INET], type flags[sctp_socket_type], proto const[IPPROTO_SCTP]) sock_sctp -socket$sctp6(domain const[AF_INET6], type flags[sctp_socket_type], proto const[IPPROTO_SCTP]) sock_sctp -socketpair$sctp(domain const[AF_INET], type flags[sctp_socket_type], proto const[IPPROTO_SCTP], fds ptr[out, sctp_pair]) -bind$sctp(fd sock_sctp, addr ptr[in, sockaddr_sctp], addrlen len[addr]) -connect$sctp(fd sock_sctp, addr ptr[in, sockaddr_sctp], addrlen len[addr]) -accept$sctp(fd sock_sctp, peer ptr[out, sockaddr_sctp, opt], peerlen ptr[inout, len[peer, int32]]) sock_sctp -accept4$sctp(fd sock_sctp, peer ptr[out, sockaddr_sctp, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_sctp -sendto$sctp(fd sock_sctp, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_sctp, opt], addrlen len[addr]) -sendmsg$sctp(fd sock_sctp, msg ptr[in, msghdr_sctp], f flags[send_flags]) -sendmmsg$sctp(fd sock_sctp, mmsg ptr[in, array[msghdr_sctp]], vlen len[mmsg], f flags[send_flags]) -recvfrom$sctp(fd sock_sctp, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_sctp, opt], addrlen len[addr]) -getsockname$sctp(fd sock_sctp, addr ptr[out, sockaddr_sctp], addrlen ptr[inout, len[addr, int32]]) -getpeername$sctp(fd sock_sctp, peer ptr[out, sockaddr_sctp], peerlen ptr[inout, len[peer, int32]]) - -setsockopt$SCTP_SOCKOPT_BINDX_ADD(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_BINDX_ADD], val ptr[in, array[sockaddr_sctp]], len bytesize[val]) -setsockopt$SCTP_SOCKOPT_BINDX_REM(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_BINDX_REM], val ptr[in, array[sockaddr_sctp]], len len[val]) -setsockopt$SCTP_SOCKOPT_CONNECTX_OLD(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_CONNECTX_OLD], val ptr[in, sockaddr_sctp], len len[val]) -setsockopt$SCTP_SOCKOPT_CONNECTX(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_CONNECTX], val ptr[in, sockaddr_sctp], len len[val]) -setsockopt$SCTP_DISABLE_FRAGMENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DISABLE_FRAGMENTS], val ptr[in, int32], len len[val]) -setsockopt$SCTP_EVENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_EVENTS], val ptr[in, sctp_event_subscribe], len len[val]) -setsockopt$SCTP_AUTOCLOSE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTOCLOSE], val ptr[in, int32], len len[val]) -setsockopt$SCTP_PEER_ADDR_PARAMS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_PARAMS], val ptr[in, sctp_paddrparams], len len[val]) -setsockopt$SCTP_DELAYED_SACK(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DELAYED_SACK], val ptr[in, sctp_delayed_sack], len len[val]) -setsockopt$SCTP_PARTIAL_DELIVERY_POINT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PARTIAL_DELIVERY_POINT], val ptr[in, int32], len len[val]) -setsockopt$SCTP_INITMSG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_INITMSG], val ptr[in, sctp_initmsg], len len[val]) -setsockopt$SCTP_DEFAULT_SEND_PARAM(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SEND_PARAM], val ptr[in, sctp_sndrcvinfo], len len[val]) -setsockopt$SCTP_DEFAULT_SNDINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SNDINFO], val ptr[in, sctp_sndinfo], len len[val]) -setsockopt$SCTP_PRIMARY_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PRIMARY_ADDR], val ptr[in, sctp_prim], len len[val]) -setsockopt$SCTP_SET_PEER_PRIMARY_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SET_PEER_PRIMARY_ADDR], val ptr[in, sctp_prim], len len[val]) -setsockopt$SCTP_NODELAY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_NODELAY], val ptr[in, int32], len len[val]) -setsockopt$SCTP_RTOINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RTOINFO], val ptr[in, sctp_rtoinfo], len len[val]) -setsockopt$SCTP_ASSOCINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ASSOCINFO], val ptr[in, sctp_assocparams], len len[val]) -setsockopt$SCTP_I_WANT_MAPPED_V4_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_I_WANT_MAPPED_V4_ADDR], val ptr[in, int32], len len[val]) -setsockopt$SCTP_MAXSEG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAXSEG], val ptr[in, sctp_maxseg], len len[val]) -setsockopt$SCTP_ADAPTATION_LAYER(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ADAPTATION_LAYER], val ptr[in, int32], len len[val]) -setsockopt$SCTP_CONTEXT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_CONTEXT], val ptr[in, sctp_assoc_value], len len[val]) -setsockopt$SCTP_FRAGMENT_INTERLEAVE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_FRAGMENT_INTERLEAVE], val ptr[in, int32], len len[val]) -setsockopt$SCTP_MAX_BURST(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAX_BURST], val ptr[in, sctp_max_burst], len len[val]) -setsockopt$SCTP_AUTH_CHUNK(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_CHUNK], val ptr[in, int8], len len[val]) -setsockopt$SCTP_HMAC_IDENT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_HMAC_IDENT], val ptr[in, sctp_hmacalgo], len len[val]) -setsockopt$SCTP_AUTH_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_KEY], val ptr[in, sctp_authkey], len len[val]) -setsockopt$SCTP_AUTH_ACTIVE_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_ACTIVE_KEY], val ptr[in, sctp_authkeyid], len len[val]) -setsockopt$SCTP_AUTH_DELETE_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_DELETE_KEY], val ptr[in, sctp_authkeyid], len len[val]) -setsockopt$SCTP_AUTO_ASCONF(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTO_ASCONF], val ptr[in, int32], len len[val]) -setsockopt$SCTP_PEER_ADDR_THLDS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_THLDS], val ptr[in, sctp_paddrthlds], len len[val]) -setsockopt$SCTP_RECVRCVINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVRCVINFO], val ptr[in, int32], len len[val]) -setsockopt$SCTP_RECVNXTINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVNXTINFO], val ptr[in, int32], len len[val]) - -getsockopt$SCTP_STATUS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_STATUS], val ptr[inout, sctp_status], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_DISABLE_FRAGMENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DISABLE_FRAGMENTS], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_EVENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_EVENTS], val ptr[out, sctp_event_subscribe], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_AUTOCLOSE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTOCLOSE], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_SOCKOPT_PEELOFF(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_PEELOFF], val ptr[inout, sctp_peeloff_arg_t], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_PEER_ADDR_PARAMS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_PARAMS], val ptr[inout, sctp_paddrparams], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_DELAYED_SACK(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DELAYED_SACK], val ptr[inout, sctp_sack_info], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_INITMSG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_INITMSG], val ptr[out, sctp_initmsg], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_GET_PEER_ADDRS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_PEER_ADDRS], val ptr[inout, sctp_getaddrs], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_GET_LOCAL_ADDRS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_LOCAL_ADDRS], val ptr[inout, sctp_getaddrs], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_SOCKOPT_CONNECTX3(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_CONNECTX3], val ptr[inout, sctp_getaddrs_old], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_DEFAULT_SEND_PARAM(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SEND_PARAM], val ptr[inout, sctp_sndrcvinfo], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_DEFAULT_SNDINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SNDINFO], val ptr[inout, sctp_sndinfo], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_PRIMARY_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PRIMARY_ADDR], val ptr[inout, sctp_prim], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_NODELAY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_NODELAY], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_RTOINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RTOINFO], val ptr[inout, sctp_rtoinfo], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_ASSOCINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ASSOCINFO], val ptr[inout, sctp_sndinfo], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_I_WANT_MAPPED_V4_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_I_WANT_MAPPED_V4_ADDR], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_MAXSEG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAXSEG], val ptr[inout, sctp_assoc_value], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_GET_PEER_ADDR_INFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_PEER_ADDR_INFO], val ptr[inout, sctp_paddrinfo], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_ADAPTATION_LAYER(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ADAPTATION_LAYER], val ptr[out, sctp_setadaptation], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_CONTEXT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_CONTEXT], val ptr[inout, sctp_assoc_value], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_FRAGMENT_INTERLEAVE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_FRAGMENT_INTERLEAVE], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_PARTIAL_DELIVERY_POINT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PARTIAL_DELIVERY_POINT], val ptr[inout, sctp_assoc_value], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_MAX_BURST(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAX_BURST], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_HMAC_IDENT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_HMAC_IDENT], val ptr[inout, sctp_authkeyid], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_AUTH_ACTIVE_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_ACTIVE_KEY], val ptr[inout, sctp_authkeyid], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_PEER_AUTH_CHUNKS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_AUTH_CHUNKS], val ptr[inout, sctp_authchunks], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_LOCAL_AUTH_CHUNKS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_LOCAL_AUTH_CHUNKS], val ptr[inout, sctp_authchunks], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_GET_ASSOC_NUMBER(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_ASSOC_NUMBER], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_GET_ASSOC_ID_LIST(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_ASSOC_ID_LIST], val ptr[out, sctp_assoc_ids], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_AUTO_ASCONF(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTO_ASCONF], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_PEER_ADDR_THLDS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_THLDS], val ptr[inout, sctp_paddrthlds], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_GET_ASSOC_STATS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_ASSOC_STATS], val ptr[inout, sctp_assoc_stats], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_RECVRCVINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVRCVINFO], val ptr[out, int32], len ptr[inout, len[val, int32]] ) -getsockopt$SCTP_RECVNXTINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVNXTINFO], val ptr[out, int32], len ptr[inout, len[val, int32]] ) - -ioctl$SCTP_SIOCINQ(fd sock_sctp, cmd const[SIOCINQ], arg ptr[out, int32]) - -sctp_socket_type = SOCK_STREAM, SOCK_SEQPACKET -sctp_sndrcv_flags = SCTP_UNORDERED, SCTP_ADDR_OVER, SCTP_ABORT, SCTP_EOF -sctp_spp_flags = SPP_HB_ENABLE, SPP_HB_DISABLE, SPP_HB_DEMAND, SPP_HB_TIME_IS_ZERO, SPP_PMTUD_ENABLE, SPP_PMTUD_DISABLE, SPP_SACKDELAY_ENABLE, SPP_SACKDELAY_DISABLE - -sctp_pair { - fd0 sock_sctp - fd1 sock_sctp -} - -sockaddr_sctp [ - in sockaddr_in - in6 sockaddr_in6 -] [varlen] - -sockaddr_storage_sctp [ - in sockaddr_storage_in - in6 sockaddr_storage_in6 -] - -msghdr_sctp { - addr ptr[in, sockaddr_sctp] - addrlen len[addr, int32] - vec ptr[in, array[iovec_in]] - vlen len[vec, intptr] - ctrl ptr[in, array[cmsghdr_sctp], opt] - ctrllen len[ctrl, intptr] - f flags[send_flags, int32] -} - -cmsghdr_sctp [ - init cmsghdr_sctp_init - sndrcv cmsghdr_sctp_sndrcv - sndinfo cmsghdr_sctp_sndinfo -] - -cmsghdr_sctp_init { - len len[parent, intptr] - level const[IPPROTO_SCTP, int32] - type const[SCTP_INIT, int32] - msg sctp_initmsg -} - -sctp_initmsg { - nostr int16 - minstr int16 - maxatt int16 - maxinit int16 -} - -cmsghdr_sctp_sndrcv { - len len[parent, intptr] - level const[IPPROTO_SCTP, int32] - type const[SCTP_SNDRCV, int32] - msg sctp_sndrcvinfo -} - -sctp_sndrcvinfo { - stream int16 - ssn int16 - flags flags[sctp_sndrcv_flags, int16] - ppid int32 - context int32 - ttl int32 - tsn int32 - cumtsn int32 - assoc int32 -} - -cmsghdr_sctp_sndinfo { - len len[parent, intptr] - level const[IPPROTO_SCTP, int32] - type const[SCTP_SNDINFO, int32] - msg sctp_sndinfo -} - -sctp_sndinfo { - sid int16 - flags flags[sctp_sndrcv_flags, int16] - ppid int32 - context int32 - assoc int32 -} - -sctp_delayed_sack [ - sack sctp_sack_info - assoc sctp_assoc_value -] [varlen] - -sctp_sack_info { - assoc int32 - delay int32 - freq int32 -} - -sctp_maxseg [ - assoc sctp_assoc_value - int int32 -] [varlen] - -sctp_max_burst [ - assoc sctp_assoc_value - int int32 -] [varlen] - -sctp_assoc_value { - assoc int32 - value int32 -} - - -sctp_event_subscribe { - ev array[int8, 10] -} - -sctp_paddrparams { - assoc int32 - addr sockaddr_storage_sctp - interv int32 - maxrxt int16 - pathmtu int32 - sackdel int32 - spp int32 - flags flags[sctp_spp_flags, int32] -} [packed, align_4] - -sctp_authkey { - assoc int32 - keynum int16 - keylen len[key, int16] - key array[int8] -} - -sctp_prim { - assoc int32 - addr sockaddr_storage_sctp -} [packed, align_4] - -sctp_rtoinfo { - assoc int32 - init int32 - max int32 - min int32 -} - -sctp_assocparams { - assoc int32 - maxrxt int16 - ndest int16 - prwnd int32 - lrwnd int32 - life int32 -} - -sctp_hmacalgo { - nident len[ident, int32] - ident array[int16] -} - -sctp_authkeyid { - assoc int32 - keyn int16 -} - -sctp_paddrthlds { - assoc int32 - addr sockaddr_storage_sctp - maxrxt int16 - pfthld int16 -} - -sctp_paddrinfo { - assoc int32 - addr sockaddr_storage_sctp - state int32 - cwnd int32 - srtt int32 - rto int32 - mtu int32 -} [packed, align_4] - -sctp_status { - assoc int32 - state int32 - rwnd int32 - unpack int16 - pend int16 - in int16 - out int16 - frag int32 - prim sctp_paddrinfo -} - -sctp_getaddrs_old { - assoc int32 - num int32 - addrs ptr[in, sockaddr_sctp] -} - -sctp_getaddrs { - assoc int32 - num int32 - addrs int8 -} - -sctp_peeloff_arg_t { - assoc int32 - sd int32 -} - -sctp_assoc_stats { - assoc int32 - rto sockaddr_storage_sctp - status array[int64, 15] -} - -sctp_assoc_ids { - num int32 - assoc array[int32] -} - -sctp_authchunks { - chunk int8 -} - -sctp_setadaptation { - adpt int32 -} diff --git a/sys/socket.txt b/sys/socket.txt index daada3bfd..eb4d6c956 100644 --- a/sys/socket.txt +++ b/sys/socket.txt @@ -1,22 +1,10 @@ -# Copyright 2015 syzkaller project authors. All rights reserved. +# Copyright 2017 syzkaller project authors. All rights reserved. # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. +include +include include -include -include -include -include -include -include -include -include -include -include include -include -include -include -include resource sock[fd] @@ -59,42 +47,6 @@ getsockopt$SO_TIMESTAMPING(fd sock, level const[SOL_SOCKET], optname const[SO_TI setsockopt$SO_ATTACH_FILTER(fd sock, level const[SOL_SOCKET], optname const[SO_ATTACH_FILTER], optval ptr[in, sock_fprog], optlen len[optval]) getsockopt$sock_buf(fd sock, level const[SOL_SOCKET], optname flags[sockopt_opt_sock_buf], optval buffer[out], optlen ptr[inout, len[optval, int32]]) -# IPPROTO_TCP -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$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$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]) - -# IPPROTO_IPV6 -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]) - socket_domain = AF_UNIX, AF_INET, AF_INET6, AF_IPX, AF_NETLINK, AF_X25, AF_AX25, AF_ATMPVC, AF_APPLETALK, AF_PACKET socket_type = SOCK_STREAM, SOCK_DGRAM, SOCK_SEQPACKET, SOCK_RAW, SOCK_RDM, SOCK_PACKET, SOCK_NONBLOCK, SOCK_CLOEXEC accept_flags = SOCK_NONBLOCK, SOCK_CLOEXEC @@ -106,17 +58,6 @@ 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 -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 -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_buf = IP_MSFILTER -sockopt_opt_ip_mreq = IP_ADD_MEMBERSHIP, IP_DROP_MEMBERSHIP, IP_MULTICAST_IF -sockopt_opt_ip_mreqsrc = IP_ADD_SOURCE_MEMBERSHIP, IP_BLOCK_SOURCE, IP_DROP_SOURCE_MEMBERSHIP, IP_UNBLOCK_SOURCE -sockopt_opt_ip_opts = IP_OPTIONS, IP_PKTOPTIONS -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 sockaddr [ un sockaddr_un @@ -134,36 +75,6 @@ sockaddr [ # TODO: other kinds of sockaddrs ] [varlen] -sockaddr_in { - family const[AF_INET, int16] - port proc[int16be, 20000, 4] - addr in_addr - pad array[const[0, int8], 8] -} - -sockaddr_storage_in { - addr sockaddr_in - pad array[const[0, int64], 15] -} - -sockaddr_in6 { - family const[AF_INET6, int16] - port proc[int16be, 20000, 4] - flow int32 - addr in6_addr - scope int32 -} - -sockaddr_storage_in6 { - addr sockaddr_in6 - pad array[const[0, int64], 12] -} - -sockaddr_storage [ - in sockaddr_storage_in - in6 sockaddr_storage_in6 -] - send_msghdr { addr ptr[in, sockaddr, opt] addrlen len[addr, int32] @@ -190,596 +101,3 @@ cmsghdr { type int32 data array[int8] } [align_ptr] - - - - -# AF_INET: TCP support - -resource sock_tcp[sock] - -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 -} - -# AF_INET: UDP support - -resource sock_udp[sock] - -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 -} - -# AF_INET: ICMP support - -resource sock_icmp[sock] - -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 -} - - - - -# AF_INET6: TCP support - -resource sock_tcp6[sock] - -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 - f1 sock_tcp6 -} - -# AF_INET6: UDP support - -resource sock_udp6[sock] - -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 -} - -# AF_INET6: ICMP support - -resource sock_icmp6[sock] - -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 - f1 sock_icmp6 -} - - - - -# AF_UNIX support. - -resource sock_unix[sock] - -socket$unix(domain const[AF_UNIX], type flags[unix_socket_type], proto const[0]) sock_unix -socketpair$unix(domain const[AF_UNIX], type flags[unix_socket_type], proto const[0], fds ptr[out, unix_pair]) -bind$unix(fd sock_unix, addr ptr[in, sockaddr_un], addrlen len[addr]) -connect$unix(fd sock_unix, addr ptr[in, sockaddr_un], addrlen len[addr]) -accept$unix(fd sock_unix, peer ptr[out, sockaddr_un, opt], peerlen ptr[inout, len[peer, int32]]) sock_unix -accept4$unix(fd sock_unix, peer ptr[out, sockaddr_un, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_unix - -sendto$unix(fd sock_unix, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_un, opt], addrlen len[addr]) -sendmsg$unix(fd sock_unix, msg ptr[in, msghdr_un], f flags[send_flags]) -sendmmsg$unix(fd sock_unix, mmsg ptr[in, array[msghdr_un]], vlen len[mmsg], f flags[send_flags]) -recvfrom$unix(fd sock_unix, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_un, opt], addrlen len[addr]) -getsockname$unix(fd sock_unix, addr ptr[out, sockaddr_un], addrlen ptr[inout, len[addr, int32]]) -getpeername$unix(fd sock_unix, peer ptr[out, sockaddr_un], peerlen ptr[inout, len[peer, int32]]) - -unix_socket_type = SOCK_STREAM, SOCK_DGRAM, SOCK_SEQPACKET -unix_socket_family = AF_UNIX, AF_UNSPEC - -unix_pair { - fd0 sock_unix - fd1 sock_unix -} - -sockaddr_un [ - file sockaddr_un_file - abs sockaddr_un_abstract -] [varlen] - -sockaddr_un_file { - family flags[unix_socket_family, int16] - path filename -} [packed] - -sockaddr_un_abstract { - family flags[unix_socket_family, int16] - ind const[0, int8] - id proc[int32, 20000, 4] -} - -msghdr_un { - addr ptr[in, sockaddr_un] - addrlen len[addr, int32] - vec ptr[in, array[iovec_in]] - vlen len[vec, intptr] - ctrl ptr[in, array[cmsghdr_un], opt] - ctrllen len[ctrl, intptr] - f flags[send_flags, int32] -} - -cmsghdr_un [ - rights cmsghdr_un_rights - cred cmsghdr_un_cred -] [varlen] - -cmsghdr_un_rights { - len len[parent, intptr] - level const[SOL_SOCKET, int32] - type const[SCM_RIGHTS, int32] - fds array[fd] -} [align_ptr] - -cmsghdr_un_cred { - len len[parent, intptr] - level const[SOL_SOCKET, int32] - type const[SCM_CREDENTIALS, int32] - pid pid - uid uid - gid gid -} [align_ptr] - - - - -# AF_ALG support. - -resource sock_alg[sock] -resource sock_algconn[sock] - -socket$alg(domain const[AF_ALG], type const[SOCK_SEQPACKET], proto const[0]) sock_alg -bind$alg(fd sock_alg, addr ptr[in, sockaddr_alg], addrlen len[addr]) -setsockopt$ALG_SET_KEY(fd sock_alg, level const[SOL_ALG], opt const[ALG_SET_KEY], key buffer[in], keylen len[key]) -setsockopt$ALG_SET_AEAD_AUTHSIZE(fd sock_alg, level const[SOL_ALG], opt const[ALG_SET_AEAD_AUTHSIZE], val const[0], size intptr) -accept$alg(fd sock_alg, peer ptr[out, sockaddr_alg, opt], peerlen ptr[inout, len[peer, int32]]) sock_algconn -sendmsg$alg(fd sock_algconn, msg ptr[in, msghdr_alg], f flags[send_flags]) -sendmmsg$alg(fd sock_algconn, mmsg ptr[in, array[msghdr_alg]], vlen len[mmsg], f flags[send_flags]) - -sockaddr_alg { - family const[AF_ALG, int16] - type string[salg_type, 14] - feat flags[af_alg_type, int32] - mask flags[af_alg_type, int32] - name string[salg_name, 64] -} - -msghdr_alg { - addr const[0, intptr] - addrlen const[0, int32] - vec ptr[in, array[iovec_in]] - vlen len[vec, intptr] - ctrl ptr[in, array[cmsghdr_alg], opt] - ctrllen bytesize[ctrl, intptr] - f flags[send_flags, int32] -} - -cmsghdr_alg [ - iv cmsghdr_alg_iv - op cmsghdr_alg_op - assoc cmsghdr_alg_assoc -] [varlen] - -cmsghdr_alg_iv { - len len[parent, intptr] - level const[SOL_ALG, int32] - type const[ALG_SET_IV, int32] - ivlen len[iv, int32] - iv array[int8] -} [align_ptr] - -cmsghdr_alg_op { - len len[parent, intptr] - level const[SOL_ALG, int32] - type const[ALG_SET_OP, int32] - op int32 -} [align_ptr] - -cmsghdr_alg_assoc { - len len[parent, intptr] - level const[SOL_ALG, int32] - type const[ALG_SET_AEAD_ASSOCLEN, int32] - assoc int32 -} [align_ptr] - -af_alg_type = CRYPTO_ALG_TYPE_MASK, CRYPTO_ALG_TYPE_CIPHER, CRYPTO_ALG_TYPE_COMPRESS, CRYPTO_ALG_TYPE_AEAD, CRYPTO_ALG_TYPE_BLKCIPHER, CRYPTO_ALG_TYPE_ABLKCIPHER, CRYPTO_ALG_TYPE_GIVCIPHER, CRYPTO_ALG_TYPE_DIGEST, CRYPTO_ALG_TYPE_HASH, CRYPTO_ALG_TYPE_SHASH, CRYPTO_ALG_TYPE_AHASH, CRYPTO_ALG_TYPE_RNG, CRYPTO_ALG_TYPE_AKCIPHER, CRYPTO_ALG_TYPE_PCOMPRESS, CRYPTO_ALG_LARVAL, CRYPTO_ALG_DEAD, CRYPTO_ALG_DYING, CRYPTO_ALG_ASYNC, CRYPTO_ALG_NEED_FALLBACK, CRYPTO_ALG_GENIV, CRYPTO_ALG_TESTED, CRYPTO_ALG_INSTANCE, CRYPTO_ALG_KERN_DRIVER_ONLY, CRYPTO_ALG_INTERNAL - -salg_type = "aead", "hash", "rng", "skcipher" -salg_name = "cmac(aes)", "ecb(aes)", "cbc(aes)", "hmac(sha1)", "pcbc(fcrypt)", "ghash", "jitterentropy_rng", "stdrng", "stdrng", "stdrng", "stdrng", "hmac(sha256)", "stdrng", "stdrng", "stdrng", "stdrng", "stdrng", "842", "lz4hc", "lz4", "lzo", "crct10dif", "crc32", "crc32c", "michael_mic", "zlib", "deflate", "poly1305", "chacha20", "salsa20", "seed", "anubis", "khazad", "xeta", "xtea", "tea", "ecb(arc4)", "arc4", "cast6", "cast5", "camellia", "aes", "tnepres", "serpent", "twofish", "blowfish", "fcrypt", "des3_ede", "des", "tgr128", "tgr160", "tgr192", "wp256", "wp384", "wp512", "sha384", "sha512", "sha224", "sha256", "sha1", "rmd320", "rmd256", "rmd160", "rmd128", "md5", "md4", "digest_null", "compress_null", "ecb(cipher_null)", "cipher_null", "rsa", "poly1305", "xts(serpent)", "lrw(serpent)", "ctr(serpent)", "cbc(serpent)", "__ecb-serpent-sse2", "ecb(serpent)", "__xts-serpent-sse2", "__lrw-serpent-sse2", "__ctr-serpent-sse2", "__cbc-serpent-sse2", "__ecb-serpent-sse2", "salsa20", "xts(twofish)", "lrw(twofish)", "ctr(twofish)", "cbc(twofish)", "ecb(twofish)", "twofish", "ctr(blowfish)", "cbc(blowfish)", "ecb(blowfish)", "blowfish", "xts(camellia)", "lrw(camellia)", "ctr(camellia)", "cbc(camellia)", "ecb(camellia)", "camellia", "ctr(des3_ede)", "cbc(des3_ede)", "ecb(des3_ede)", "des3_ede", "aes" - - - - -# AF_KEY support. - -resource sock_key[sock] - -# See net/key/af_key.c, requires root. -# socket$key(domain const[AF_KEY], type const[SOCK_RAW], proto const[PF_KEY_V2]) sock_key - - - - -# AF_NFC support. - -resource sock_nfc_llcp[sock] - -socket$nfc_llcp(domain const[AF_NFC], type flags[nfc_llcp_type], proto const[NFC_SOCKPROTO_LLCP]) sock_nfc_llcp -bind$nfc_llcp(fd sock_nfc_llcp, addr ptr[in, sockaddr_nfc_llcp], addrlen len[addr]) -connect$nfc_llcp(fd sock_nfc_llcp, addr ptr[in, sockaddr_nfc_llcp], addrlen len[addr]) -accept$nfc_llcp(fd sock_nfc_llcp, peer ptr[out, sockaddr_nfc_llcp, opt], peerlen ptr[inout, len[peer, int32]]) sock_nfc_llcp -setsockopt$NFC_LLCP_RW(fd sock_nfc_llcp, level const[SOL_NFC], opt const[NFC_LLCP_RW], arg ptr[in, int32], arglen len[arg]) -setsockopt$NFC_LLCP_MIUX(fd sock_nfc_llcp, level const[SOL_NFC], opt const[NFC_LLCP_MIUX], arg ptr[in, int32], arglen len[arg]) -getsockopt$nfc_llcp(fd sock_nfc_llcp, level const[SOL_NFC], opt flags[nfc_llcp_opts], arg buffer[out], arglen len[arg]) -sendmsg$nfc_llcp(fd sock_nfc_llcp, msg ptr[in, nfc_llcp_send_msghdr], f flags[send_flags]) -sendmmsg$nfc_llcp(fd sock_nfc_llcp, mmsg ptr[in, array[nfc_llcp_send_msghdr]], vlen len[mmsg], f flags[send_flags]) - -resource sock_nfc_raw[sock] - -socket$nfc_raw(domain const[AF_NFC], type flags[nfc_raw_type], proto const[NFC_SOCKPROTO_RAW]) sock_nfc_raw -connect$nfc_raw(fd sock_nfc_raw, addr ptr[in, sockaddr_nfc], addrlen len[addr]) - -nfc_llcp_type = SOCK_STREAM, SOCK_DGRAM, SOCK_RAW -nfc_raw_type = SOCK_STREAM, SOCK_RAW -nfc_proto = NFC_PROTO_JEWEL, NFC_PROTO_MIFARE, NFC_PROTO_FELICA, NFC_PROTO_ISO14443, NFC_PROTO_NFC_DEP, NFC_PROTO_ISO14443_B, NFC_PROTO_ISO15693 -nfc_llcp_opts = NFC_LLCP_RW, NFC_LLCP_MIUX, NFC_LLCP_REMOTE_MIU, NFC_LLCP_REMOTE_LTO, NFC_LLCP_REMOTE_RW - -sockaddr_nfc_llcp { - family const[AF_NFC, int16] - devidx int32 - target int32 - proto flags[nfc_proto, int32] - dsap int8 - ssap int8 - serv array[int8, 63] - servlen intptr -} - -sockaddr_nfc { - family const[AF_NFC, int16] - dev int32 - targ int32 - proto flags[nfc_proto, int32] -} - -nfc_llcp_send_msghdr { - addr ptr[in, sockaddr_nfc_llcp] - addrlen len[addr, int32] - vec ptr[in, array[iovec_in]] - vlen len[vec, intptr] - ctrl ptr[in, cmsghdr] - ctrllen len[ctrl, intptr] - f flags[send_flags, int32] -} - - - - -# AF_BLUETOOTH support. - -resource sock_bt[sock] -resource sock_bt_hci[sock_bt] - -socket$bt_hci(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_HCI]) sock_bt_hci -bind$bt_hci(fd sock_bt_hci, addr ptr[in, sockaddr_hci], addrlen len[addr]) -ioctl$bt_hci(fd sock_bt_hci, cmd flags[bt_hci_ioctl], arg buffer[inout]) -setsockopt$HCI_DATA_DIR(fd sock_bt_hci, level const[0], opt const[HCI_DATA_DIR], arg ptr[in, int32], arglen len[arg]) -setsockopt$HCI_TIME_STAMP(fd sock_bt_hci, level const[0], opt const[HCI_TIME_STAMP], arg ptr[in, int32], arglen len[arg]) -setsockopt$HCI_FILTER(fd sock_bt_hci, level const[0], opt const[HCI_FILTER], arg ptr[in, hci_ufilter], arglen len[arg]) -getsockopt$bt_hci(fd sock, level const[0], opt flags[bt_hci_sockopt], arg buffer[out], arglen ptr[inout, len[arg, int32]]) - -resource sock_bt_sco[sock_bt] - -socket$bt_sco(fam const[AF_BLUETOOTH], type const[SOCK_SEQPACKET], proto const[BTPROTO_SCO]) sock_bt_sco -bind$bt_sco(fd sock_bt_sco, addr ptr[in, sockaddr_sco], addrlen len[addr]) -connect$bt_sco(fd sock_bt_sco, addr ptr[in, sockaddr_sco], addrlen len[addr]) -getsockopt$SCO_OPTIONS(fd sock_bt_sco, level const[SOL_SCO], opt const[SCO_OPTIONS], arg buffer[out], arglen ptr[inout, len[arg, int32]]) -getsockopt$SCO_CONNINFO(fd sock_bt_sco, level const[SOL_SCO], opt const[SCO_CONNINFO], arg buffer[out], arglen ptr[inout, len[arg, int32]]) - -resource sock_bt_l2cap[sock_bt] - -socket$bt_l2cap(fam const[AF_BLUETOOTH], type flags[bt_l2cap_type], proto const[BTPROTO_L2CAP]) sock_bt_l2cap -bind$bt_l2cap(fd sock_bt_l2cap, addr ptr[in, sockaddr_l2], addrlen len[addr]) -connect$bt_l2cap(fd sock_bt_l2cap, addr ptr[in, sockaddr_l2], addrlen len[addr]) -setsockopt$L2CAP_OPTIONS(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_OPTIONS], arg ptr[in, l2cap_options], arglen len[arg]) -getsockopt$L2CAP_OPTIONS(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_OPTIONS], arg ptr[out, l2cap_options], arglen ptr[inout, len[arg, int32]]) -setsockopt$L2CAP_LM(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_LM], arg ptr[in, flags[bt_l2cap_lm, int32]], arglen len[arg]) -getsockopt$L2CAP_LM(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_LM], arg ptr[out, int32], arglen ptr[inout, len[arg, int32]]) -setsockopt$L2CAP_CONNINFO(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_CONNINFO], arg ptr[in, l2cap_conninfo], arglen len[arg]) -getsockopt$L2CAP_CONNINFO(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_CONNINFO], arg ptr[out, l2cap_conninfo], arglen ptr[inout, len[arg, int32]]) - -resource sock_bt_rfcomm[sock_bt] - -socket$bt_rfcomm(fam const[AF_BLUETOOTH], type flags[bt_rfcomm_type], proto const[BTPROTO_RFCOMM]) sock_bt_rfcomm -bind$bt_rfcomm(fd sock_bt_rfcomm, addr ptr[in, sockaddr_rc], addrlen len[addr]) -connect$bt_rfcomm(fd sock_bt_rfcomm, addr ptr[in, sockaddr_rc], addrlen len[addr]) -setsockopt$RFCOMM_LM(fd sock_bt_rfcomm, level const[SOL_RFCOMM], opt const[RFCOMM_LM], arg ptr[in, flags[bt_l2cap_lm, int32]], arglen len[arg]) -getsockopt$RFCOMM_LM(fd sock_bt_rfcomm, level const[SOL_RFCOMM], opt const[RFCOMM_LM], arg ptr[out, int32], arglen ptr[inout, len[arg, int32]]) -getsockopt$RFCOMM_CONNINFO(fd sock_bt_rfcomm, level const[SOL_RFCOMM], opt const[RFCOMM_CONNINFO], arg buffer[out], arglen ptr[inout, len[arg, int32]]) - -resource sock_bt_hidp[sock_bt] - -socket$bt_hidp(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_HIDP]) sock_bt_hidp -ioctl$HIDPCONNADD(fd sock_bt_hidp, cmd const[HIDPCONNADD], arg ptr[in, hidp_connadd_req]) -ioctl$HIDPCONNDEL(fd sock_bt_hidp, cmd const[HIDPCONNDEL], arg ptr[in, hidp_conndel_req]) -ioctl$HIDPGETCONNLIST(fd sock_bt_hidp, cmd const[HIDPGETCONNLIST], arg ptr[in, hidp_connlist_req]) -ioctl$HIDPGETCONNINFO(fd sock_bt_hidp, cmd const[HIDPGETCONNINFO], arg ptr[in, hidp_conninfo]) - -resource sock_bt_cmtp[sock_bt] - -socket$bt_cmtp(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_CMTP]) sock_bt_cmtp -ioctl$CMTPCONNADD(fd sock_bt_cmtp, cmd const[CMTPCONNADD], arg ptr[in, cmtp_connadd_req]) -ioctl$CMTPCONNDEL(fd sock_bt_cmtp, cmd const[CMTPCONNDEL], arg ptr[in, cmtp_conndel_req]) -ioctl$CMTPGETCONNLIST(fd sock_bt_cmtp, cmd const[CMTPGETCONNLIST], arg ptr[in, cmtp_connlist_req]) -ioctl$CMTPGETCONNINFO(fd sock_bt_cmtp, cmd const[CMTPGETCONNINFO], arg ptr[in, cmtp_conninfo]) - -resource sock_bt_bnep[sock_bt] - -socket$bt_bnep(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_BNEP]) sock_bt_bnep -ioctl$BNEPCONNADD(fd sock_bt_bnep, cmd const[BNEPCONNADD], arg ptr[in, bnep_connadd_req]) -ioctl$BNEPCONNDEL(fd sock_bt_bnep, cmd const[BNEPCONNDEL], arg ptr[in, bnep_conndel_req]) -ioctl$BNEPGETCONNLIST(fd sock_bt_bnep, cmd const[BNEPGETCONNLIST], arg ptr[in, bnep_connlist_req]) -ioctl$BNEPGETCONNINFO(fd sock_bt_bnep, cmd const[BNEPGETCONNINFO], arg ptr[in, bnep_conninfo]) -ioctl$BNEPGETSUPPFEAT(fd sock_bt_bnep, cmd const[BNEPGETSUPPFEAT], arg ptr[in, int32]) - -ioctl$bt(fd sock_bt, cmd flags[bt_ioctl], arg buffer[inout]) -setsockopt$BT_SECURITY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SECURITY], arg ptr[in, bt_security], arglen len[arg]) -getsockopt$BT_SECURITY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SECURITY], arg ptr[out, bt_security], arglen len[arg]) -setsockopt$BT_DEFER_SETUP(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_DEFER_SETUP], arg ptr[in, int32], arglen len[arg]) -getsockopt$BT_DEFER_SETUP(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_DEFER_SETUP], arg ptr[in, int32], arglen ptr[in, len[arg, intptr]]) -setsockopt$BT_VOICE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_VOICE], arg ptr[in, int16], arglen len[arg]) -getsockopt$BT_VOICE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_VOICE], arg ptr[in, int16], arglen ptr[in, len[arg, intptr]]) -setsockopt$BT_FLUSHABLE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_FLUSHABLE], arg ptr[in, int32], arglen len[arg]) -getsockopt$BT_FLUSHABLE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_FLUSHABLE], arg ptr[in, int32], arglen ptr[in, len[arg, intptr]]) -setsockopt$BT_POWER(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_POWER], arg ptr[in, int8], arglen len[arg]) -getsockopt$BT_POWER(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_POWER], arg ptr[in, int8], arglen ptr[in, len[arg, intptr]]) -setsockopt$BT_CHANNEL_POLICY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_CHANNEL_POLICY], arg ptr[in, int32], arglen len[arg]) -getsockopt$BT_CHANNEL_POLICY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_CHANNEL_POLICY], arg ptr[in, int32], arglen ptr[in, len[arg, intptr]]) -setsockopt$BT_SNDMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SNDMTU], arg ptr[in, int16], arglen len[arg]) -getsockopt$BT_SNDMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SNDMTU], arg ptr[in, int16], arglen ptr[in, len[arg, intptr]]) -setsockopt$BT_RCVMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_RCVMTU], arg ptr[in, int16], arglen len[arg]) -getsockopt$BT_RCVMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_RCVMTU], arg ptr[in, int16], arglen ptr[in, len[arg, intptr]]) - -sockaddr_hci { - fam const[AF_BLUETOOTH, int16] - dev int16 - chan flags[bt_chi_chan, int16] -} - -hci_inquiry_req { - dev int16 - flags int16 - lap0 int8 - lap1 int8 - lap2 int8 - len int8 - rsp int8 -} - -hci_ufilter { - type int32 - event0 int32 - event1 int32 - opcode int16 -} - -sockaddr_sco { - fam const[AF_BLUETOOTH, int16] - addr bdaddr -} - -sockaddr_l2 { - fam const[AF_BLUETOOTH, int16] - psm int16 - addr bdaddr - cid int16 - typ int8 -} - -bdaddr { - addr0 int8 - addr1 int8 - addr2 int8 - addr3 int8 - addr4 int8 - addr5 int8 -} - -bt_security { - lev int8 - keysize int8 -} - -l2cap_options { - omtu int16 - imtu int16 - flushto int16 - mode int8 - fcs int8 - maxtx int8 - txwin int16 -} - -l2cap_conninfo { - handle int16 - devcls0 int8 - devcls1 int8 - devcls2 int8 -} - -sockaddr_rc { - fam const[AF_BLUETOOTH, int16] - addr bdaddr - chan int8 -} - -hidp_connadd_req { - ctrlsk sock - intrsk sock - parser int16 - rdsize int16 - rddata buffer[in] - country int8 - subclas int8 - vendor int16 - product int16 - version int16 - flags int32 - idleto int32 - name array[int8] -} - -hidp_conndel_req { - addr bdaddr - flags int32 -} - -hidp_conninfo { - addr bdaddr - flags int32 - state int16 - vendor int16 - product int16 - ver int16 - name array[int8] -} - -hidp_connlist_req { - cnum len[ci, int32] - ci ptr[out, array[hidp_conninfo]] -} - -cmtp_connadd_req { - sock sock - flags int32 -} - -cmtp_conndel_req { - addr bdaddr - flags int32 -} - -cmtp_conninfo { - addr bdaddr - flags int32 - state int16 - num int32 -} - -cmtp_connlist_req { - cnum len[ci, int32] - ci ptr[out, array[cmtp_conninfo]] -} - -bnep_connadd_req { - sock sock - flags int32 - role int16 - device array[int8] -} - -bnep_conndel_req { - flags int32 - dst array[int8, 6] -} - -bnep_conninfo { - flags int32 - role int16 - state int16 - dst array[int8, 6] - device array[int8, 16] -} - -bnep_connlist_req { - cnum len[ci, int32] - ci ptr[out, array[bnep_conninfo]] -} - -bt_chi_chan = HCI_CHANNEL_RAW, HCI_CHANNEL_USER, HCI_CHANNEL_MONITOR, HCI_CHANNEL_CONTROL -bt_hci_ioctl = HCIDEVUP, HCIDEVDOWN, HCIDEVRESET, HCIDEVRESTAT, HCIGETDEVLIST, HCIGETDEVINFO, HCIGETCONNLIST, HCIGETCONNINFO, HCIGETAUTHINFO, HCISETRAW, HCISETSCAN, HCISETAUTH, HCISETENCRYPT, HCISETPTYPE, HCISETLINKPOL, HCISETLINKMODE, HCISETACLMTU, HCISETSCOMTU, HCIBLOCKADDR, HCIUNBLOCKADDR, HCIINQUIRY -bt_hci_sockopt = HCI_DATA_DIR, HCI_TIME_STAMP, HCI_FILTER -bt_ioctl = TIOCOUTQ, TIOCINQ, SIOCGSTAMP, SIOCGSTAMPNS -bt_l2cap_type = SOCK_SEQPACKET, SOCK_STREAM, SOCK_DGRAM, SOCK_RAW -bt_l2cap_lm = L2CAP_LM_MASTER, L2CAP_LM_AUTH, L2CAP_LM_ENCRYPT, L2CAP_LM_TRUSTED, L2CAP_LM_RELIABLE, L2CAP_LM_SECURE, L2CAP_LM_FIPS -bt_rfcomm_type = SOCK_STREAM, SOCK_RAW - -# Removed in next-20160210 (commit 11049218) -define CRYPTO_ALG_TYPE_PCOMPRESS 0x0000000f diff --git a/sys/socket_alg.txt b/sys/socket_alg.txt new file mode 100644 index 000000000..36f88772f --- /dev/null +++ b/sys/socket_alg.txt @@ -0,0 +1,74 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_ALG support. + +include +include +include +include + +resource sock_alg[sock] +resource sock_algconn[sock] + +socket$alg(domain const[AF_ALG], type const[SOCK_SEQPACKET], proto const[0]) sock_alg +bind$alg(fd sock_alg, addr ptr[in, sockaddr_alg], addrlen len[addr]) +setsockopt$ALG_SET_KEY(fd sock_alg, level const[SOL_ALG], opt const[ALG_SET_KEY], key buffer[in], keylen len[key]) +setsockopt$ALG_SET_AEAD_AUTHSIZE(fd sock_alg, level const[SOL_ALG], opt const[ALG_SET_AEAD_AUTHSIZE], val const[0], size intptr) +accept$alg(fd sock_alg, peer ptr[out, sockaddr_alg, opt], peerlen ptr[inout, len[peer, int32]]) sock_algconn +sendmsg$alg(fd sock_algconn, msg ptr[in, msghdr_alg], f flags[send_flags]) +sendmmsg$alg(fd sock_algconn, mmsg ptr[in, array[msghdr_alg]], vlen len[mmsg], f flags[send_flags]) + +sockaddr_alg { + family const[AF_ALG, int16] + type string[salg_type, 14] + feat flags[af_alg_type, int32] + mask flags[af_alg_type, int32] + name string[salg_name, 64] +} + +msghdr_alg { + addr const[0, intptr] + addrlen const[0, int32] + vec ptr[in, array[iovec_in]] + vlen len[vec, intptr] + ctrl ptr[in, array[cmsghdr_alg], opt] + ctrllen bytesize[ctrl, intptr] + f flags[send_flags, int32] +} + +cmsghdr_alg [ + iv cmsghdr_alg_iv + op cmsghdr_alg_op + assoc cmsghdr_alg_assoc +] [varlen] + +cmsghdr_alg_iv { + len len[parent, intptr] + level const[SOL_ALG, int32] + type const[ALG_SET_IV, int32] + ivlen len[iv, int32] + iv array[int8] +} [align_ptr] + +cmsghdr_alg_op { + len len[parent, intptr] + level const[SOL_ALG, int32] + type const[ALG_SET_OP, int32] + op int32 +} [align_ptr] + +cmsghdr_alg_assoc { + len len[parent, intptr] + level const[SOL_ALG, int32] + type const[ALG_SET_AEAD_ASSOCLEN, int32] + assoc int32 +} [align_ptr] + +af_alg_type = CRYPTO_ALG_TYPE_MASK, CRYPTO_ALG_TYPE_CIPHER, CRYPTO_ALG_TYPE_COMPRESS, CRYPTO_ALG_TYPE_AEAD, CRYPTO_ALG_TYPE_BLKCIPHER, CRYPTO_ALG_TYPE_ABLKCIPHER, CRYPTO_ALG_TYPE_GIVCIPHER, CRYPTO_ALG_TYPE_DIGEST, CRYPTO_ALG_TYPE_HASH, CRYPTO_ALG_TYPE_SHASH, CRYPTO_ALG_TYPE_AHASH, CRYPTO_ALG_TYPE_RNG, CRYPTO_ALG_TYPE_AKCIPHER, CRYPTO_ALG_TYPE_PCOMPRESS, CRYPTO_ALG_LARVAL, CRYPTO_ALG_DEAD, CRYPTO_ALG_DYING, CRYPTO_ALG_ASYNC, CRYPTO_ALG_NEED_FALLBACK, CRYPTO_ALG_GENIV, CRYPTO_ALG_TESTED, CRYPTO_ALG_INSTANCE, CRYPTO_ALG_KERN_DRIVER_ONLY, CRYPTO_ALG_INTERNAL + +salg_type = "aead", "hash", "rng", "skcipher" +salg_name = "cmac(aes)", "ecb(aes)", "cbc(aes)", "hmac(sha1)", "pcbc(fcrypt)", "ghash", "jitterentropy_rng", "stdrng", "stdrng", "stdrng", "stdrng", "hmac(sha256)", "stdrng", "stdrng", "stdrng", "stdrng", "stdrng", "842", "lz4hc", "lz4", "lzo", "crct10dif", "crc32", "crc32c", "michael_mic", "zlib", "deflate", "poly1305", "chacha20", "salsa20", "seed", "anubis", "khazad", "xeta", "xtea", "tea", "ecb(arc4)", "arc4", "cast6", "cast5", "camellia", "aes", "tnepres", "serpent", "twofish", "blowfish", "fcrypt", "des3_ede", "des", "tgr128", "tgr160", "tgr192", "wp256", "wp384", "wp512", "sha384", "sha512", "sha224", "sha256", "sha1", "rmd320", "rmd256", "rmd160", "rmd128", "md5", "md4", "digest_null", "compress_null", "ecb(cipher_null)", "cipher_null", "rsa", "poly1305", "xts(serpent)", "lrw(serpent)", "ctr(serpent)", "cbc(serpent)", "__ecb-serpent-sse2", "ecb(serpent)", "__xts-serpent-sse2", "__lrw-serpent-sse2", "__ctr-serpent-sse2", "__cbc-serpent-sse2", "__ecb-serpent-sse2", "salsa20", "xts(twofish)", "lrw(twofish)", "ctr(twofish)", "cbc(twofish)", "ecb(twofish)", "twofish", "ctr(blowfish)", "cbc(blowfish)", "ecb(blowfish)", "blowfish", "xts(camellia)", "lrw(camellia)", "ctr(camellia)", "cbc(camellia)", "ecb(camellia)", "camellia", "ctr(des3_ede)", "cbc(des3_ede)", "ecb(des3_ede)", "des3_ede", "aes" + +# Removed in next-20160210 (commit 11049218) +define CRYPTO_ALG_TYPE_PCOMPRESS 0x0000000f diff --git a/sys/socket_alg_amd64.const b/sys/socket_alg_amd64.const new file mode 100644 index 000000000..8bdb46c24 --- /dev/null +++ b/sys/socket_alg_amd64.const @@ -0,0 +1,39 @@ +# AUTOGENERATED FILE +AF_ALG = 38 +ALG_SET_AEAD_ASSOCLEN = 4 +ALG_SET_AEAD_AUTHSIZE = 5 +ALG_SET_IV = 2 +ALG_SET_KEY = 1 +ALG_SET_OP = 3 +CRYPTO_ALG_ASYNC = 128 +CRYPTO_ALG_DEAD = 32 +CRYPTO_ALG_DYING = 64 +CRYPTO_ALG_GENIV = 512 +CRYPTO_ALG_INSTANCE = 2048 +CRYPTO_ALG_INTERNAL = 8192 +CRYPTO_ALG_KERN_DRIVER_ONLY = 4096 +CRYPTO_ALG_LARVAL = 16 +CRYPTO_ALG_NEED_FALLBACK = 256 +CRYPTO_ALG_TESTED = 1024 +CRYPTO_ALG_TYPE_ABLKCIPHER = 5 +CRYPTO_ALG_TYPE_AEAD = 3 +CRYPTO_ALG_TYPE_AHASH = 15 +CRYPTO_ALG_TYPE_AKCIPHER = 13 +CRYPTO_ALG_TYPE_BLKCIPHER = 4 +CRYPTO_ALG_TYPE_CIPHER = 1 +CRYPTO_ALG_TYPE_COMPRESS = 2 +CRYPTO_ALG_TYPE_DIGEST = 14 +CRYPTO_ALG_TYPE_GIVCIPHER = 6 +CRYPTO_ALG_TYPE_HASH = 14 +CRYPTO_ALG_TYPE_MASK = 15 +CRYPTO_ALG_TYPE_PCOMPRESS = 15 +CRYPTO_ALG_TYPE_RNG = 12 +CRYPTO_ALG_TYPE_SHASH = 14 +SOCK_SEQPACKET = 5 +SOL_ALG = 279 +__NR_accept = 43 +__NR_bind = 49 +__NR_sendmmsg = 307 +__NR_sendmsg = 46 +__NR_setsockopt = 54 +__NR_socket = 41 diff --git a/sys/socket_alg_arm64.const b/sys/socket_alg_arm64.const new file mode 100644 index 000000000..0da690d0a --- /dev/null +++ b/sys/socket_alg_arm64.const @@ -0,0 +1,39 @@ +# AUTOGENERATED FILE +AF_ALG = 38 +ALG_SET_AEAD_ASSOCLEN = 4 +ALG_SET_AEAD_AUTHSIZE = 5 +ALG_SET_IV = 2 +ALG_SET_KEY = 1 +ALG_SET_OP = 3 +CRYPTO_ALG_ASYNC = 128 +CRYPTO_ALG_DEAD = 32 +CRYPTO_ALG_DYING = 64 +CRYPTO_ALG_GENIV = 512 +CRYPTO_ALG_INSTANCE = 2048 +CRYPTO_ALG_INTERNAL = 8192 +CRYPTO_ALG_KERN_DRIVER_ONLY = 4096 +CRYPTO_ALG_LARVAL = 16 +CRYPTO_ALG_NEED_FALLBACK = 256 +CRYPTO_ALG_TESTED = 1024 +CRYPTO_ALG_TYPE_ABLKCIPHER = 5 +CRYPTO_ALG_TYPE_AEAD = 3 +CRYPTO_ALG_TYPE_AHASH = 15 +CRYPTO_ALG_TYPE_AKCIPHER = 13 +CRYPTO_ALG_TYPE_BLKCIPHER = 4 +CRYPTO_ALG_TYPE_CIPHER = 1 +CRYPTO_ALG_TYPE_COMPRESS = 2 +CRYPTO_ALG_TYPE_DIGEST = 14 +CRYPTO_ALG_TYPE_GIVCIPHER = 6 +CRYPTO_ALG_TYPE_HASH = 14 +CRYPTO_ALG_TYPE_MASK = 15 +CRYPTO_ALG_TYPE_PCOMPRESS = 15 +CRYPTO_ALG_TYPE_RNG = 12 +CRYPTO_ALG_TYPE_SHASH = 14 +SOCK_SEQPACKET = 5 +SOL_ALG = 279 +__NR_accept = 202 +__NR_bind = 200 +__NR_sendmmsg = 269 +__NR_sendmsg = 211 +__NR_setsockopt = 208 +__NR_socket = 198 diff --git a/sys/socket_alg_ppc64le.const b/sys/socket_alg_ppc64le.const new file mode 100644 index 000000000..43eca7c92 --- /dev/null +++ b/sys/socket_alg_ppc64le.const @@ -0,0 +1,39 @@ +# AUTOGENERATED FILE +AF_ALG = 38 +ALG_SET_AEAD_ASSOCLEN = 4 +ALG_SET_AEAD_AUTHSIZE = 5 +ALG_SET_IV = 2 +ALG_SET_KEY = 1 +ALG_SET_OP = 3 +CRYPTO_ALG_ASYNC = 128 +CRYPTO_ALG_DEAD = 32 +CRYPTO_ALG_DYING = 64 +CRYPTO_ALG_GENIV = 512 +CRYPTO_ALG_INSTANCE = 2048 +CRYPTO_ALG_INTERNAL = 8192 +CRYPTO_ALG_KERN_DRIVER_ONLY = 4096 +CRYPTO_ALG_LARVAL = 16 +CRYPTO_ALG_NEED_FALLBACK = 256 +CRYPTO_ALG_TESTED = 1024 +CRYPTO_ALG_TYPE_ABLKCIPHER = 5 +CRYPTO_ALG_TYPE_AEAD = 3 +CRYPTO_ALG_TYPE_AHASH = 15 +CRYPTO_ALG_TYPE_AKCIPHER = 13 +CRYPTO_ALG_TYPE_BLKCIPHER = 4 +CRYPTO_ALG_TYPE_CIPHER = 1 +CRYPTO_ALG_TYPE_COMPRESS = 2 +CRYPTO_ALG_TYPE_DIGEST = 14 +CRYPTO_ALG_TYPE_GIVCIPHER = 6 +CRYPTO_ALG_TYPE_HASH = 14 +CRYPTO_ALG_TYPE_MASK = 15 +CRYPTO_ALG_TYPE_PCOMPRESS = 15 +CRYPTO_ALG_TYPE_RNG = 12 +CRYPTO_ALG_TYPE_SHASH = 14 +SOCK_SEQPACKET = 5 +SOL_ALG = 279 +__NR_accept = 330 +__NR_bind = 327 +__NR_sendmmsg = 349 +__NR_sendmsg = 341 +__NR_setsockopt = 339 +__NR_socket = 326 diff --git a/sys/socket_amd64.const b/sys/socket_amd64.const index 6eae25fc5..fe4c4b0a9 100644 --- a/sys/socket_amd64.const +++ b/sys/socket_amd64.const @@ -1,188 +1,14 @@ # AUTOGENERATED FILE -AF_ALG = 38 AF_APPLETALK = 5 AF_ATMPVC = 8 AF_AX25 = 3 -AF_BLUETOOTH = 31 AF_INET = 2 AF_INET6 = 10 AF_IPX = 4 AF_NETLINK = 16 -AF_NFC = 39 AF_PACKET = 17 AF_UNIX = 1 -AF_UNSPEC = 0 AF_X25 = 9 -ALG_SET_AEAD_ASSOCLEN = 4 -ALG_SET_AEAD_AUTHSIZE = 5 -ALG_SET_IV = 2 -ALG_SET_KEY = 1 -ALG_SET_OP = 3 -BNEPCONNADD = 1074021064 -BNEPCONNDEL = 1074021065 -BNEPGETCONNINFO = 2147762899 -BNEPGETCONNLIST = 2147762898 -BNEPGETSUPPFEAT = 2147762900 -BTPROTO_BNEP = 4 -BTPROTO_CMTP = 5 -BTPROTO_HCI = 1 -BTPROTO_HIDP = 6 -BTPROTO_L2CAP = 0 -BTPROTO_RFCOMM = 3 -BTPROTO_SCO = 2 -BT_CHANNEL_POLICY = 10 -BT_DEFER_SETUP = 7 -BT_FLUSHABLE = 8 -BT_POWER = 9 -BT_RCVMTU = 13 -BT_SECURITY = 4 -BT_SNDMTU = 12 -BT_VOICE = 11 -CMTPCONNADD = 1074021320 -CMTPCONNDEL = 1074021321 -CMTPGETCONNINFO = 2147763155 -CMTPGETCONNLIST = 2147763154 -CRYPTO_ALG_ASYNC = 128 -CRYPTO_ALG_DEAD = 32 -CRYPTO_ALG_DYING = 64 -CRYPTO_ALG_GENIV = 512 -CRYPTO_ALG_INSTANCE = 2048 -CRYPTO_ALG_INTERNAL = 8192 -CRYPTO_ALG_KERN_DRIVER_ONLY = 4096 -CRYPTO_ALG_LARVAL = 16 -CRYPTO_ALG_NEED_FALLBACK = 256 -CRYPTO_ALG_TESTED = 1024 -CRYPTO_ALG_TYPE_ABLKCIPHER = 5 -CRYPTO_ALG_TYPE_AEAD = 3 -CRYPTO_ALG_TYPE_AHASH = 15 -CRYPTO_ALG_TYPE_AKCIPHER = 13 -CRYPTO_ALG_TYPE_BLKCIPHER = 4 -CRYPTO_ALG_TYPE_CIPHER = 1 -CRYPTO_ALG_TYPE_COMPRESS = 2 -CRYPTO_ALG_TYPE_DIGEST = 14 -CRYPTO_ALG_TYPE_GIVCIPHER = 6 -CRYPTO_ALG_TYPE_HASH = 14 -CRYPTO_ALG_TYPE_MASK = 15 -CRYPTO_ALG_TYPE_PCOMPRESS = 15 -CRYPTO_ALG_TYPE_RNG = 12 -CRYPTO_ALG_TYPE_SHASH = 14 -HCIBLOCKADDR = 1074022630 -HCIDEVDOWN = 1074022602 -HCIDEVRESET = 1074022603 -HCIDEVRESTAT = 1074022604 -HCIDEVUP = 1074022601 -HCIGETAUTHINFO = 2147764439 -HCIGETCONNINFO = 2147764437 -HCIGETCONNLIST = 2147764436 -HCIGETDEVINFO = 2147764435 -HCIGETDEVLIST = 2147764434 -HCIINQUIRY = 2147764464 -HCISETACLMTU = 1074022627 -HCISETAUTH = 1074022622 -HCISETENCRYPT = 1074022623 -HCISETLINKMODE = 1074022626 -HCISETLINKPOL = 1074022625 -HCISETPTYPE = 1074022624 -HCISETRAW = 1074022620 -HCISETSCAN = 1074022621 -HCISETSCOMTU = 1074022628 -HCIUNBLOCKADDR = 1074022631 -HCI_CHANNEL_CONTROL = 3 -HCI_CHANNEL_MONITOR = 2 -HCI_CHANNEL_RAW = 0 -HCI_CHANNEL_USER = 1 -HCI_DATA_DIR = 1 -HCI_FILTER = 2 -HCI_TIME_STAMP = 3 -HIDPCONNADD = 1074022600 -HIDPCONNDEL = 1074022601 -HIDPGETCONNINFO = 2147764435 -HIDPGETCONNLIST = 2147764434 -IPPROTO_ICMP = 1 -IPPROTO_IP = 0 -IPPROTO_IPV6 = 41 -IPPROTO_TCP = 6 -IPPROTO_UDP = 17 -IPV6_2292DSTOPTS = 4 -IPV6_2292HOPLIMIT = 8 -IPV6_2292HOPOPTS = 3 -IPV6_2292PKTINFO = 2 -IPV6_2292PKTOPTIONS = 6 -IPV6_2292RTHDR = 5 -IPV6_ADDRFORM = 1 -IPV6_ADD_MEMBERSHIP = 20 -IPV6_AUTHHDR = 10 -IPV6_CHECKSUM = 7 -IPV6_DROP_MEMBERSHIP = 21 -IPV6_DSTOPTS = 59 -IPV6_FLOWINFO = 11 -IPV6_HOPLIMIT = 52 -IPV6_HOPOPTS = 54 -IPV6_JOIN_ANYCAST = 27 -IPV6_LEAVE_ANYCAST = 28 -IPV6_MTU = 24 -IPV6_MTU_DISCOVER = 23 -IPV6_MULTICAST_HOPS = 18 -IPV6_MULTICAST_IF = 17 -IPV6_MULTICAST_LOOP = 19 -IPV6_RECVERR = 25 -IPV6_RECVPKTINFO = 49 -IPV6_ROUTER_ALERT = 22 -IPV6_RTHDR = 57 -IPV6_UNICAST_HOPS = 16 -IPV6_V6ONLY = 26 -IP_ADD_MEMBERSHIP = 35 -IP_ADD_SOURCE_MEMBERSHIP = 39 -IP_BIND_ADDRESS_NO_PORT = 24 -IP_BLOCK_SOURCE = 38 -IP_CHECKSUM = 23 -IP_DROP_MEMBERSHIP = 36 -IP_DROP_SOURCE_MEMBERSHIP = 40 -IP_FREEBIND = 15 -IP_HDRINCL = 3 -IP_IPSEC_POLICY = 16 -IP_MINTTL = 21 -IP_MSFILTER = 41 -IP_MTU = 14 -IP_MTU_DISCOVER = 10 -IP_MULTICAST_ALL = 49 -IP_MULTICAST_IF = 32 -IP_MULTICAST_LOOP = 34 -IP_MULTICAST_TTL = 33 -IP_NODEFRAG = 22 -IP_OPTIONS = 4 -IP_PASSSEC = 18 -IP_PKTINFO = 8 -IP_PKTOPTIONS = 9 -IP_PMTUDISC_DO = 2 -IP_PMTUDISC_DONT = 0 -IP_PMTUDISC_INTERFACE = 4 -IP_PMTUDISC_OMIT = 5 -IP_PMTUDISC_PROBE = 3 -IP_PMTUDISC_WANT = 1 -IP_RECVERR = 11 -IP_RECVOPTS = 6 -IP_RECVORIGDSTADDR = 20 -IP_RECVTOS = 13 -IP_RECVTTL = 12 -IP_RETOPTS = 7 -IP_ROUTER_ALERT = 5 -IP_TOS = 1 -IP_TRANSPARENT = 19 -IP_TTL = 2 -IP_UNBLOCK_SOURCE = 37 -L2CAP_CONNINFO = 2 -L2CAP_LM = 3 -L2CAP_LM_AUTH = 2 -L2CAP_LM_ENCRYPT = 4 -L2CAP_LM_FIPS = 64 -L2CAP_LM_MASTER = 1 -L2CAP_LM_RELIABLE = 16 -L2CAP_LM_SECURE = 32 -L2CAP_LM_TRUSTED = 8 -L2CAP_OPTIONS = 1 -MCAST_EXCLUDE = 0 -MCAST_INCLUDE = 1 MSG_BATCH = 262144 MSG_CMSG_CLOEXEC = 1073741824 MSG_CONFIRM = 2048 @@ -199,30 +25,8 @@ MSG_PROBE = 16 MSG_TRUNC = 32 MSG_WAITALL = 256 MSG_WAITFORONE = 65536 -NFC_LLCP_MIUX = 1 -NFC_LLCP_REMOTE_LTO = 3 -NFC_LLCP_REMOTE_MIU = 2 -NFC_LLCP_REMOTE_RW = 4 -NFC_LLCP_RW = 0 -NFC_PROTO_FELICA = 3 -NFC_PROTO_ISO14443 = 4 -NFC_PROTO_ISO14443_B = 6 -NFC_PROTO_ISO15693 = 7 -NFC_PROTO_JEWEL = 1 -NFC_PROTO_MIFARE = 2 -NFC_PROTO_NFC_DEP = 5 -NFC_SOCKPROTO_LLCP = 1 -NFC_SOCKPROTO_RAW = 0 -RFCOMM_CONNINFO = 2 -RFCOMM_LM = 3 -SCM_CREDENTIALS = 2 -SCM_RIGHTS = 1 -SCO_CONNINFO = 2 -SCO_OPTIONS = 1 SHUT_RD = 0 SHUT_WR = 1 -SIOCGSTAMP = 35078 -SIOCGSTAMPNS = 35079 SIOCINQ = 21531 SIOCOUTQ = 21521 SOCK_CLOEXEC = 524288 @@ -245,43 +49,7 @@ 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_L2CAP = 6 -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_RFCOMM = 18 -SOL_ROSE = 260 -SOL_RXRPC = 272 -SOL_SCO = 17 -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 @@ -327,21 +95,6 @@ SO_TIMESTAMPING = 37 SO_TIMESTAMPNS = 35 SO_TYPE = 3 SO_WIFI_STATUS = 41 -TCP_CORK = 3 -TCP_DEFER_ACCEPT = 9 -TCP_INFO = 11 -TCP_KEEPCNT = 6 -TCP_KEEPIDLE = 4 -TCP_KEEPINTVL = 5 -TCP_LINGER2 = 8 -TCP_MAXSEG = 2 -TCP_NODELAY = 1 -TCP_QUICKACK = 12 -TCP_SYNCNT = 7 -TCP_WINDOW_CLAMP = 10 -TIOCINQ = 21531 -TIOCOUTQ = 21521 -UDP_CORK = 1 __NR_accept = 43 __NR_accept4 = 288 __NR_bind = 49 diff --git a/sys/socket_arm64.const b/sys/socket_arm64.const index 2df95853f..35944d14d 100644 --- a/sys/socket_arm64.const +++ b/sys/socket_arm64.const @@ -1,188 +1,14 @@ # AUTOGENERATED FILE -AF_ALG = 38 AF_APPLETALK = 5 AF_ATMPVC = 8 AF_AX25 = 3 -AF_BLUETOOTH = 31 AF_INET = 2 AF_INET6 = 10 AF_IPX = 4 AF_NETLINK = 16 -AF_NFC = 39 AF_PACKET = 17 AF_UNIX = 1 -AF_UNSPEC = 0 AF_X25 = 9 -ALG_SET_AEAD_ASSOCLEN = 4 -ALG_SET_AEAD_AUTHSIZE = 5 -ALG_SET_IV = 2 -ALG_SET_KEY = 1 -ALG_SET_OP = 3 -BNEPCONNADD = 1074021064 -BNEPCONNDEL = 1074021065 -BNEPGETCONNINFO = 2147762899 -BNEPGETCONNLIST = 2147762898 -BNEPGETSUPPFEAT = 2147762900 -BTPROTO_BNEP = 4 -BTPROTO_CMTP = 5 -BTPROTO_HCI = 1 -BTPROTO_HIDP = 6 -BTPROTO_L2CAP = 0 -BTPROTO_RFCOMM = 3 -BTPROTO_SCO = 2 -BT_CHANNEL_POLICY = 10 -BT_DEFER_SETUP = 7 -BT_FLUSHABLE = 8 -BT_POWER = 9 -BT_RCVMTU = 13 -BT_SECURITY = 4 -BT_SNDMTU = 12 -BT_VOICE = 11 -CMTPCONNADD = 1074021320 -CMTPCONNDEL = 1074021321 -CMTPGETCONNINFO = 2147763155 -CMTPGETCONNLIST = 2147763154 -CRYPTO_ALG_ASYNC = 128 -CRYPTO_ALG_DEAD = 32 -CRYPTO_ALG_DYING = 64 -CRYPTO_ALG_GENIV = 512 -CRYPTO_ALG_INSTANCE = 2048 -CRYPTO_ALG_INTERNAL = 8192 -CRYPTO_ALG_KERN_DRIVER_ONLY = 4096 -CRYPTO_ALG_LARVAL = 16 -CRYPTO_ALG_NEED_FALLBACK = 256 -CRYPTO_ALG_TESTED = 1024 -CRYPTO_ALG_TYPE_ABLKCIPHER = 5 -CRYPTO_ALG_TYPE_AEAD = 3 -CRYPTO_ALG_TYPE_AHASH = 15 -CRYPTO_ALG_TYPE_AKCIPHER = 13 -CRYPTO_ALG_TYPE_BLKCIPHER = 4 -CRYPTO_ALG_TYPE_CIPHER = 1 -CRYPTO_ALG_TYPE_COMPRESS = 2 -CRYPTO_ALG_TYPE_DIGEST = 14 -CRYPTO_ALG_TYPE_GIVCIPHER = 6 -CRYPTO_ALG_TYPE_HASH = 14 -CRYPTO_ALG_TYPE_MASK = 15 -CRYPTO_ALG_TYPE_PCOMPRESS = 15 -CRYPTO_ALG_TYPE_RNG = 12 -CRYPTO_ALG_TYPE_SHASH = 14 -HCIBLOCKADDR = 1074022630 -HCIDEVDOWN = 1074022602 -HCIDEVRESET = 1074022603 -HCIDEVRESTAT = 1074022604 -HCIDEVUP = 1074022601 -HCIGETAUTHINFO = 2147764439 -HCIGETCONNINFO = 2147764437 -HCIGETCONNLIST = 2147764436 -HCIGETDEVINFO = 2147764435 -HCIGETDEVLIST = 2147764434 -HCIINQUIRY = 2147764464 -HCISETACLMTU = 1074022627 -HCISETAUTH = 1074022622 -HCISETENCRYPT = 1074022623 -HCISETLINKMODE = 1074022626 -HCISETLINKPOL = 1074022625 -HCISETPTYPE = 1074022624 -HCISETRAW = 1074022620 -HCISETSCAN = 1074022621 -HCISETSCOMTU = 1074022628 -HCIUNBLOCKADDR = 1074022631 -HCI_CHANNEL_CONTROL = 3 -HCI_CHANNEL_MONITOR = 2 -HCI_CHANNEL_RAW = 0 -HCI_CHANNEL_USER = 1 -HCI_DATA_DIR = 1 -HCI_FILTER = 2 -HCI_TIME_STAMP = 3 -HIDPCONNADD = 1074022600 -HIDPCONNDEL = 1074022601 -HIDPGETCONNINFO = 2147764435 -HIDPGETCONNLIST = 2147764434 -IPPROTO_ICMP = 1 -IPPROTO_IP = 0 -IPPROTO_IPV6 = 41 -IPPROTO_TCP = 6 -IPPROTO_UDP = 17 -IPV6_2292DSTOPTS = 4 -IPV6_2292HOPLIMIT = 8 -IPV6_2292HOPOPTS = 3 -IPV6_2292PKTINFO = 2 -IPV6_2292PKTOPTIONS = 6 -IPV6_2292RTHDR = 5 -IPV6_ADDRFORM = 1 -IPV6_ADD_MEMBERSHIP = 20 -IPV6_AUTHHDR = 10 -IPV6_CHECKSUM = 7 -IPV6_DROP_MEMBERSHIP = 21 -IPV6_DSTOPTS = 59 -IPV6_FLOWINFO = 11 -IPV6_HOPLIMIT = 52 -IPV6_HOPOPTS = 54 -IPV6_JOIN_ANYCAST = 27 -IPV6_LEAVE_ANYCAST = 28 -IPV6_MTU = 24 -IPV6_MTU_DISCOVER = 23 -IPV6_MULTICAST_HOPS = 18 -IPV6_MULTICAST_IF = 17 -IPV6_MULTICAST_LOOP = 19 -IPV6_RECVERR = 25 -IPV6_RECVPKTINFO = 49 -IPV6_ROUTER_ALERT = 22 -IPV6_RTHDR = 57 -IPV6_UNICAST_HOPS = 16 -IPV6_V6ONLY = 26 -IP_ADD_MEMBERSHIP = 35 -IP_ADD_SOURCE_MEMBERSHIP = 39 -IP_BIND_ADDRESS_NO_PORT = 24 -IP_BLOCK_SOURCE = 38 -IP_CHECKSUM = 23 -IP_DROP_MEMBERSHIP = 36 -IP_DROP_SOURCE_MEMBERSHIP = 40 -IP_FREEBIND = 15 -IP_HDRINCL = 3 -IP_IPSEC_POLICY = 16 -IP_MINTTL = 21 -IP_MSFILTER = 41 -IP_MTU = 14 -IP_MTU_DISCOVER = 10 -IP_MULTICAST_ALL = 49 -IP_MULTICAST_IF = 32 -IP_MULTICAST_LOOP = 34 -IP_MULTICAST_TTL = 33 -IP_NODEFRAG = 22 -IP_OPTIONS = 4 -IP_PASSSEC = 18 -IP_PKTINFO = 8 -IP_PKTOPTIONS = 9 -IP_PMTUDISC_DO = 2 -IP_PMTUDISC_DONT = 0 -IP_PMTUDISC_INTERFACE = 4 -IP_PMTUDISC_OMIT = 5 -IP_PMTUDISC_PROBE = 3 -IP_PMTUDISC_WANT = 1 -IP_RECVERR = 11 -IP_RECVOPTS = 6 -IP_RECVORIGDSTADDR = 20 -IP_RECVTOS = 13 -IP_RECVTTL = 12 -IP_RETOPTS = 7 -IP_ROUTER_ALERT = 5 -IP_TOS = 1 -IP_TRANSPARENT = 19 -IP_TTL = 2 -IP_UNBLOCK_SOURCE = 37 -L2CAP_CONNINFO = 2 -L2CAP_LM = 3 -L2CAP_LM_AUTH = 2 -L2CAP_LM_ENCRYPT = 4 -L2CAP_LM_FIPS = 64 -L2CAP_LM_MASTER = 1 -L2CAP_LM_RELIABLE = 16 -L2CAP_LM_SECURE = 32 -L2CAP_LM_TRUSTED = 8 -L2CAP_OPTIONS = 1 -MCAST_EXCLUDE = 0 -MCAST_INCLUDE = 1 MSG_BATCH = 262144 MSG_CMSG_CLOEXEC = 1073741824 MSG_CONFIRM = 2048 @@ -199,30 +25,8 @@ MSG_PROBE = 16 MSG_TRUNC = 32 MSG_WAITALL = 256 MSG_WAITFORONE = 65536 -NFC_LLCP_MIUX = 1 -NFC_LLCP_REMOTE_LTO = 3 -NFC_LLCP_REMOTE_MIU = 2 -NFC_LLCP_REMOTE_RW = 4 -NFC_LLCP_RW = 0 -NFC_PROTO_FELICA = 3 -NFC_PROTO_ISO14443 = 4 -NFC_PROTO_ISO14443_B = 6 -NFC_PROTO_ISO15693 = 7 -NFC_PROTO_JEWEL = 1 -NFC_PROTO_MIFARE = 2 -NFC_PROTO_NFC_DEP = 5 -NFC_SOCKPROTO_LLCP = 1 -NFC_SOCKPROTO_RAW = 0 -RFCOMM_CONNINFO = 2 -RFCOMM_LM = 3 -SCM_CREDENTIALS = 2 -SCM_RIGHTS = 1 -SCO_CONNINFO = 2 -SCO_OPTIONS = 1 SHUT_RD = 0 SHUT_WR = 1 -SIOCGSTAMP = 35078 -SIOCGSTAMPNS = 35079 SIOCINQ = 21531 SIOCOUTQ = 21521 SOCK_CLOEXEC = 524288 @@ -245,43 +49,7 @@ 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_L2CAP = 6 -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_RFCOMM = 18 -SOL_ROSE = 260 -SOL_RXRPC = 272 -SOL_SCO = 17 -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 @@ -327,21 +95,6 @@ SO_TIMESTAMPING = 37 SO_TIMESTAMPNS = 35 SO_TYPE = 3 SO_WIFI_STATUS = 41 -TCP_CORK = 3 -TCP_DEFER_ACCEPT = 9 -TCP_INFO = 11 -TCP_KEEPCNT = 6 -TCP_KEEPIDLE = 4 -TCP_KEEPINTVL = 5 -TCP_LINGER2 = 8 -TCP_MAXSEG = 2 -TCP_NODELAY = 1 -TCP_QUICKACK = 12 -TCP_SYNCNT = 7 -TCP_WINDOW_CLAMP = 10 -TIOCINQ = 21531 -TIOCOUTQ = 21521 -UDP_CORK = 1 __NR_accept = 202 __NR_accept4 = 242 __NR_bind = 200 diff --git a/sys/socket_bluetooth.txt b/sys/socket_bluetooth.txt new file mode 100644 index 000000000..4dbb1cbe5 --- /dev/null +++ b/sys/socket_bluetooth.txt @@ -0,0 +1,264 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_BLUETOOTH support. + +include +include +include +include +include +include +include +include +include +include +include +include + +resource sock_bt[sock] +resource sock_bt_hci[sock_bt] + +socket$bt_hci(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_HCI]) sock_bt_hci +bind$bt_hci(fd sock_bt_hci, addr ptr[in, sockaddr_hci], addrlen len[addr]) +ioctl$bt_hci(fd sock_bt_hci, cmd flags[bt_hci_ioctl], arg buffer[inout]) +setsockopt$HCI_DATA_DIR(fd sock_bt_hci, level const[0], opt const[HCI_DATA_DIR], arg ptr[in, int32], arglen len[arg]) +setsockopt$HCI_TIME_STAMP(fd sock_bt_hci, level const[0], opt const[HCI_TIME_STAMP], arg ptr[in, int32], arglen len[arg]) +setsockopt$HCI_FILTER(fd sock_bt_hci, level const[0], opt const[HCI_FILTER], arg ptr[in, hci_ufilter], arglen len[arg]) +getsockopt$bt_hci(fd sock, level const[0], opt flags[bt_hci_sockopt], arg buffer[out], arglen ptr[inout, len[arg, int32]]) + +resource sock_bt_sco[sock_bt] + +socket$bt_sco(fam const[AF_BLUETOOTH], type const[SOCK_SEQPACKET], proto const[BTPROTO_SCO]) sock_bt_sco +bind$bt_sco(fd sock_bt_sco, addr ptr[in, sockaddr_sco], addrlen len[addr]) +connect$bt_sco(fd sock_bt_sco, addr ptr[in, sockaddr_sco], addrlen len[addr]) +getsockopt$SCO_OPTIONS(fd sock_bt_sco, level const[SOL_SCO], opt const[SCO_OPTIONS], arg buffer[out], arglen ptr[inout, len[arg, int32]]) +getsockopt$SCO_CONNINFO(fd sock_bt_sco, level const[SOL_SCO], opt const[SCO_CONNINFO], arg buffer[out], arglen ptr[inout, len[arg, int32]]) + +resource sock_bt_l2cap[sock_bt] + +socket$bt_l2cap(fam const[AF_BLUETOOTH], type flags[bt_l2cap_type], proto const[BTPROTO_L2CAP]) sock_bt_l2cap +bind$bt_l2cap(fd sock_bt_l2cap, addr ptr[in, sockaddr_l2], addrlen len[addr]) +connect$bt_l2cap(fd sock_bt_l2cap, addr ptr[in, sockaddr_l2], addrlen len[addr]) +setsockopt$L2CAP_OPTIONS(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_OPTIONS], arg ptr[in, l2cap_options], arglen len[arg]) +getsockopt$L2CAP_OPTIONS(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_OPTIONS], arg ptr[out, l2cap_options], arglen ptr[inout, len[arg, int32]]) +setsockopt$L2CAP_LM(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_LM], arg ptr[in, flags[bt_l2cap_lm, int32]], arglen len[arg]) +getsockopt$L2CAP_LM(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_LM], arg ptr[out, int32], arglen ptr[inout, len[arg, int32]]) +setsockopt$L2CAP_CONNINFO(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_CONNINFO], arg ptr[in, l2cap_conninfo], arglen len[arg]) +getsockopt$L2CAP_CONNINFO(fd sock_bt_l2cap, level const[SOL_L2CAP], opt const[L2CAP_CONNINFO], arg ptr[out, l2cap_conninfo], arglen ptr[inout, len[arg, int32]]) + +resource sock_bt_rfcomm[sock_bt] + +socket$bt_rfcomm(fam const[AF_BLUETOOTH], type flags[bt_rfcomm_type], proto const[BTPROTO_RFCOMM]) sock_bt_rfcomm +bind$bt_rfcomm(fd sock_bt_rfcomm, addr ptr[in, sockaddr_rc], addrlen len[addr]) +connect$bt_rfcomm(fd sock_bt_rfcomm, addr ptr[in, sockaddr_rc], addrlen len[addr]) +setsockopt$RFCOMM_LM(fd sock_bt_rfcomm, level const[SOL_RFCOMM], opt const[RFCOMM_LM], arg ptr[in, flags[bt_l2cap_lm, int32]], arglen len[arg]) +getsockopt$RFCOMM_LM(fd sock_bt_rfcomm, level const[SOL_RFCOMM], opt const[RFCOMM_LM], arg ptr[out, int32], arglen ptr[inout, len[arg, int32]]) +getsockopt$RFCOMM_CONNINFO(fd sock_bt_rfcomm, level const[SOL_RFCOMM], opt const[RFCOMM_CONNINFO], arg buffer[out], arglen ptr[inout, len[arg, int32]]) + +resource sock_bt_hidp[sock_bt] + +socket$bt_hidp(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_HIDP]) sock_bt_hidp +ioctl$HIDPCONNADD(fd sock_bt_hidp, cmd const[HIDPCONNADD], arg ptr[in, hidp_connadd_req]) +ioctl$HIDPCONNDEL(fd sock_bt_hidp, cmd const[HIDPCONNDEL], arg ptr[in, hidp_conndel_req]) +ioctl$HIDPGETCONNLIST(fd sock_bt_hidp, cmd const[HIDPGETCONNLIST], arg ptr[in, hidp_connlist_req]) +ioctl$HIDPGETCONNINFO(fd sock_bt_hidp, cmd const[HIDPGETCONNINFO], arg ptr[in, hidp_conninfo]) + +resource sock_bt_cmtp[sock_bt] + +socket$bt_cmtp(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_CMTP]) sock_bt_cmtp +ioctl$CMTPCONNADD(fd sock_bt_cmtp, cmd const[CMTPCONNADD], arg ptr[in, cmtp_connadd_req]) +ioctl$CMTPCONNDEL(fd sock_bt_cmtp, cmd const[CMTPCONNDEL], arg ptr[in, cmtp_conndel_req]) +ioctl$CMTPGETCONNLIST(fd sock_bt_cmtp, cmd const[CMTPGETCONNLIST], arg ptr[in, cmtp_connlist_req]) +ioctl$CMTPGETCONNINFO(fd sock_bt_cmtp, cmd const[CMTPGETCONNINFO], arg ptr[in, cmtp_conninfo]) + +resource sock_bt_bnep[sock_bt] + +socket$bt_bnep(fam const[AF_BLUETOOTH], type const[SOCK_RAW], proto const[BTPROTO_BNEP]) sock_bt_bnep +ioctl$BNEPCONNADD(fd sock_bt_bnep, cmd const[BNEPCONNADD], arg ptr[in, bnep_connadd_req]) +ioctl$BNEPCONNDEL(fd sock_bt_bnep, cmd const[BNEPCONNDEL], arg ptr[in, bnep_conndel_req]) +ioctl$BNEPGETCONNLIST(fd sock_bt_bnep, cmd const[BNEPGETCONNLIST], arg ptr[in, bnep_connlist_req]) +ioctl$BNEPGETCONNINFO(fd sock_bt_bnep, cmd const[BNEPGETCONNINFO], arg ptr[in, bnep_conninfo]) +ioctl$BNEPGETSUPPFEAT(fd sock_bt_bnep, cmd const[BNEPGETSUPPFEAT], arg ptr[in, int32]) + +ioctl$bt(fd sock_bt, cmd flags[bt_ioctl], arg buffer[inout]) +setsockopt$BT_SECURITY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SECURITY], arg ptr[in, bt_security], arglen len[arg]) +getsockopt$BT_SECURITY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SECURITY], arg ptr[out, bt_security], arglen len[arg]) +setsockopt$BT_DEFER_SETUP(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_DEFER_SETUP], arg ptr[in, int32], arglen len[arg]) +getsockopt$BT_DEFER_SETUP(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_DEFER_SETUP], arg ptr[in, int32], arglen ptr[in, len[arg, intptr]]) +setsockopt$BT_VOICE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_VOICE], arg ptr[in, int16], arglen len[arg]) +getsockopt$BT_VOICE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_VOICE], arg ptr[in, int16], arglen ptr[in, len[arg, intptr]]) +setsockopt$BT_FLUSHABLE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_FLUSHABLE], arg ptr[in, int32], arglen len[arg]) +getsockopt$BT_FLUSHABLE(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_FLUSHABLE], arg ptr[in, int32], arglen ptr[in, len[arg, intptr]]) +setsockopt$BT_POWER(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_POWER], arg ptr[in, int8], arglen len[arg]) +getsockopt$BT_POWER(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_POWER], arg ptr[in, int8], arglen ptr[in, len[arg, intptr]]) +setsockopt$BT_CHANNEL_POLICY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_CHANNEL_POLICY], arg ptr[in, int32], arglen len[arg]) +getsockopt$BT_CHANNEL_POLICY(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_CHANNEL_POLICY], arg ptr[in, int32], arglen ptr[in, len[arg, intptr]]) +setsockopt$BT_SNDMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SNDMTU], arg ptr[in, int16], arglen len[arg]) +getsockopt$BT_SNDMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_SNDMTU], arg ptr[in, int16], arglen ptr[in, len[arg, intptr]]) +setsockopt$BT_RCVMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_RCVMTU], arg ptr[in, int16], arglen len[arg]) +getsockopt$BT_RCVMTU(fd sock_bt, level const[SOL_BLUETOOTH], opt const[BT_RCVMTU], arg ptr[in, int16], arglen ptr[in, len[arg, intptr]]) + +sockaddr_hci { + fam const[AF_BLUETOOTH, int16] + dev int16 + chan flags[bt_chi_chan, int16] +} + +hci_inquiry_req { + dev int16 + flags int16 + lap0 int8 + lap1 int8 + lap2 int8 + len int8 + rsp int8 +} + +hci_ufilter { + type int32 + event0 int32 + event1 int32 + opcode int16 +} + +sockaddr_sco { + fam const[AF_BLUETOOTH, int16] + addr bdaddr +} + +sockaddr_l2 { + fam const[AF_BLUETOOTH, int16] + psm int16 + addr bdaddr + cid int16 + typ int8 +} + +bdaddr { + addr0 int8 + addr1 int8 + addr2 int8 + addr3 int8 + addr4 int8 + addr5 int8 +} + +bt_security { + lev int8 + keysize int8 +} + +l2cap_options { + omtu int16 + imtu int16 + flushto int16 + mode int8 + fcs int8 + maxtx int8 + txwin int16 +} + +l2cap_conninfo { + handle int16 + devcls0 int8 + devcls1 int8 + devcls2 int8 +} + +sockaddr_rc { + fam const[AF_BLUETOOTH, int16] + addr bdaddr + chan int8 +} + +hidp_connadd_req { + ctrlsk sock + intrsk sock + parser int16 + rdsize int16 + rddata buffer[in] + country int8 + subclas int8 + vendor int16 + product int16 + version int16 + flags int32 + idleto int32 + name array[int8] +} + +hidp_conndel_req { + addr bdaddr + flags int32 +} + +hidp_conninfo { + addr bdaddr + flags int32 + state int16 + vendor int16 + product int16 + ver int16 + name array[int8] +} + +hidp_connlist_req { + cnum len[ci, int32] + ci ptr[out, array[hidp_conninfo]] +} + +cmtp_connadd_req { + sock sock + flags int32 +} + +cmtp_conndel_req { + addr bdaddr + flags int32 +} + +cmtp_conninfo { + addr bdaddr + flags int32 + state int16 + num int32 +} + +cmtp_connlist_req { + cnum len[ci, int32] + ci ptr[out, array[cmtp_conninfo]] +} + +bnep_connadd_req { + sock sock + flags int32 + role int16 + device array[int8] +} + +bnep_conndel_req { + flags int32 + dst array[int8, 6] +} + +bnep_conninfo { + flags int32 + role int16 + state int16 + dst array[int8, 6] + device array[int8, 16] +} + +bnep_connlist_req { + cnum len[ci, int32] + ci ptr[out, array[bnep_conninfo]] +} + +bt_chi_chan = HCI_CHANNEL_RAW, HCI_CHANNEL_USER, HCI_CHANNEL_MONITOR, HCI_CHANNEL_CONTROL +bt_hci_ioctl = HCIDEVUP, HCIDEVDOWN, HCIDEVRESET, HCIDEVRESTAT, HCIGETDEVLIST, HCIGETDEVINFO, HCIGETCONNLIST, HCIGETCONNINFO, HCIGETAUTHINFO, HCISETRAW, HCISETSCAN, HCISETAUTH, HCISETENCRYPT, HCISETPTYPE, HCISETLINKPOL, HCISETLINKMODE, HCISETACLMTU, HCISETSCOMTU, HCIBLOCKADDR, HCIUNBLOCKADDR, HCIINQUIRY +bt_hci_sockopt = HCI_DATA_DIR, HCI_TIME_STAMP, HCI_FILTER +bt_ioctl = TIOCOUTQ, TIOCINQ, SIOCGSTAMP, SIOCGSTAMPNS +bt_l2cap_type = SOCK_SEQPACKET, SOCK_STREAM, SOCK_DGRAM, SOCK_RAW +bt_l2cap_lm = L2CAP_LM_MASTER, L2CAP_LM_AUTH, L2CAP_LM_ENCRYPT, L2CAP_LM_TRUSTED, L2CAP_LM_RELIABLE, L2CAP_LM_SECURE, L2CAP_LM_FIPS +bt_rfcomm_type = SOCK_STREAM, SOCK_RAW diff --git a/sys/socket_bluetooth_amd64.const b/sys/socket_bluetooth_amd64.const new file mode 100644 index 000000000..8cb231d8e --- /dev/null +++ b/sys/socket_bluetooth_amd64.const @@ -0,0 +1,90 @@ +# AUTOGENERATED FILE +AF_BLUETOOTH = 31 +BNEPCONNADD = 1074021064 +BNEPCONNDEL = 1074021065 +BNEPGETCONNINFO = 2147762899 +BNEPGETCONNLIST = 2147762898 +BNEPGETSUPPFEAT = 2147762900 +BTPROTO_BNEP = 4 +BTPROTO_CMTP = 5 +BTPROTO_HCI = 1 +BTPROTO_HIDP = 6 +BTPROTO_L2CAP = 0 +BTPROTO_RFCOMM = 3 +BTPROTO_SCO = 2 +BT_CHANNEL_POLICY = 10 +BT_DEFER_SETUP = 7 +BT_FLUSHABLE = 8 +BT_POWER = 9 +BT_RCVMTU = 13 +BT_SECURITY = 4 +BT_SNDMTU = 12 +BT_VOICE = 11 +CMTPCONNADD = 1074021320 +CMTPCONNDEL = 1074021321 +CMTPGETCONNINFO = 2147763155 +CMTPGETCONNLIST = 2147763154 +HCIBLOCKADDR = 1074022630 +HCIDEVDOWN = 1074022602 +HCIDEVRESET = 1074022603 +HCIDEVRESTAT = 1074022604 +HCIDEVUP = 1074022601 +HCIGETAUTHINFO = 2147764439 +HCIGETCONNINFO = 2147764437 +HCIGETCONNLIST = 2147764436 +HCIGETDEVINFO = 2147764435 +HCIGETDEVLIST = 2147764434 +HCIINQUIRY = 2147764464 +HCISETACLMTU = 1074022627 +HCISETAUTH = 1074022622 +HCISETENCRYPT = 1074022623 +HCISETLINKMODE = 1074022626 +HCISETLINKPOL = 1074022625 +HCISETPTYPE = 1074022624 +HCISETRAW = 1074022620 +HCISETSCAN = 1074022621 +HCISETSCOMTU = 1074022628 +HCIUNBLOCKADDR = 1074022631 +HCI_CHANNEL_CONTROL = 3 +HCI_CHANNEL_MONITOR = 2 +HCI_CHANNEL_RAW = 0 +HCI_CHANNEL_USER = 1 +HCI_DATA_DIR = 1 +HCI_FILTER = 2 +HCI_TIME_STAMP = 3 +HIDPCONNADD = 1074022600 +HIDPCONNDEL = 1074022601 +HIDPGETCONNINFO = 2147764435 +HIDPGETCONNLIST = 2147764434 +L2CAP_CONNINFO = 2 +L2CAP_LM = 3 +L2CAP_LM_AUTH = 2 +L2CAP_LM_ENCRYPT = 4 +L2CAP_LM_FIPS = 64 +L2CAP_LM_MASTER = 1 +L2CAP_LM_RELIABLE = 16 +L2CAP_LM_SECURE = 32 +L2CAP_LM_TRUSTED = 8 +L2CAP_OPTIONS = 1 +RFCOMM_CONNINFO = 2 +RFCOMM_LM = 3 +SCO_CONNINFO = 2 +SCO_OPTIONS = 1 +SIOCGSTAMP = 35078 +SIOCGSTAMPNS = 35079 +SOCK_DGRAM = 2 +SOCK_RAW = 3 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_BLUETOOTH = 274 +SOL_L2CAP = 6 +SOL_RFCOMM = 18 +SOL_SCO = 17 +TIOCINQ = 21531 +TIOCOUTQ = 21521 +__NR_bind = 49 +__NR_connect = 42 +__NR_getsockopt = 55 +__NR_ioctl = 16 +__NR_setsockopt = 54 +__NR_socket = 41 diff --git a/sys/socket_bluetooth_arm64.const b/sys/socket_bluetooth_arm64.const new file mode 100644 index 000000000..26782a9e3 --- /dev/null +++ b/sys/socket_bluetooth_arm64.const @@ -0,0 +1,90 @@ +# AUTOGENERATED FILE +AF_BLUETOOTH = 31 +BNEPCONNADD = 1074021064 +BNEPCONNDEL = 1074021065 +BNEPGETCONNINFO = 2147762899 +BNEPGETCONNLIST = 2147762898 +BNEPGETSUPPFEAT = 2147762900 +BTPROTO_BNEP = 4 +BTPROTO_CMTP = 5 +BTPROTO_HCI = 1 +BTPROTO_HIDP = 6 +BTPROTO_L2CAP = 0 +BTPROTO_RFCOMM = 3 +BTPROTO_SCO = 2 +BT_CHANNEL_POLICY = 10 +BT_DEFER_SETUP = 7 +BT_FLUSHABLE = 8 +BT_POWER = 9 +BT_RCVMTU = 13 +BT_SECURITY = 4 +BT_SNDMTU = 12 +BT_VOICE = 11 +CMTPCONNADD = 1074021320 +CMTPCONNDEL = 1074021321 +CMTPGETCONNINFO = 2147763155 +CMTPGETCONNLIST = 2147763154 +HCIBLOCKADDR = 1074022630 +HCIDEVDOWN = 1074022602 +HCIDEVRESET = 1074022603 +HCIDEVRESTAT = 1074022604 +HCIDEVUP = 1074022601 +HCIGETAUTHINFO = 2147764439 +HCIGETCONNINFO = 2147764437 +HCIGETCONNLIST = 2147764436 +HCIGETDEVINFO = 2147764435 +HCIGETDEVLIST = 2147764434 +HCIINQUIRY = 2147764464 +HCISETACLMTU = 1074022627 +HCISETAUTH = 1074022622 +HCISETENCRYPT = 1074022623 +HCISETLINKMODE = 1074022626 +HCISETLINKPOL = 1074022625 +HCISETPTYPE = 1074022624 +HCISETRAW = 1074022620 +HCISETSCAN = 1074022621 +HCISETSCOMTU = 1074022628 +HCIUNBLOCKADDR = 1074022631 +HCI_CHANNEL_CONTROL = 3 +HCI_CHANNEL_MONITOR = 2 +HCI_CHANNEL_RAW = 0 +HCI_CHANNEL_USER = 1 +HCI_DATA_DIR = 1 +HCI_FILTER = 2 +HCI_TIME_STAMP = 3 +HIDPCONNADD = 1074022600 +HIDPCONNDEL = 1074022601 +HIDPGETCONNINFO = 2147764435 +HIDPGETCONNLIST = 2147764434 +L2CAP_CONNINFO = 2 +L2CAP_LM = 3 +L2CAP_LM_AUTH = 2 +L2CAP_LM_ENCRYPT = 4 +L2CAP_LM_FIPS = 64 +L2CAP_LM_MASTER = 1 +L2CAP_LM_RELIABLE = 16 +L2CAP_LM_SECURE = 32 +L2CAP_LM_TRUSTED = 8 +L2CAP_OPTIONS = 1 +RFCOMM_CONNINFO = 2 +RFCOMM_LM = 3 +SCO_CONNINFO = 2 +SCO_OPTIONS = 1 +SIOCGSTAMP = 35078 +SIOCGSTAMPNS = 35079 +SOCK_DGRAM = 2 +SOCK_RAW = 3 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_BLUETOOTH = 274 +SOL_L2CAP = 6 +SOL_RFCOMM = 18 +SOL_SCO = 17 +TIOCINQ = 21531 +TIOCOUTQ = 21521 +__NR_bind = 200 +__NR_connect = 203 +__NR_getsockopt = 209 +__NR_ioctl = 29 +__NR_setsockopt = 208 +__NR_socket = 198 diff --git a/sys/socket_bluetooth_ppc64le.const b/sys/socket_bluetooth_ppc64le.const new file mode 100644 index 000000000..e01d7d39e --- /dev/null +++ b/sys/socket_bluetooth_ppc64le.const @@ -0,0 +1,90 @@ +# AUTOGENERATED FILE +AF_BLUETOOTH = 31 +BNEPCONNADD = 2147762888 +BNEPCONNDEL = 2147762889 +BNEPGETCONNINFO = 1074021075 +BNEPGETCONNLIST = 1074021074 +BNEPGETSUPPFEAT = 1074021076 +BTPROTO_BNEP = 4 +BTPROTO_CMTP = 5 +BTPROTO_HCI = 1 +BTPROTO_HIDP = 6 +BTPROTO_L2CAP = 0 +BTPROTO_RFCOMM = 3 +BTPROTO_SCO = 2 +BT_CHANNEL_POLICY = 10 +BT_DEFER_SETUP = 7 +BT_FLUSHABLE = 8 +BT_POWER = 9 +BT_RCVMTU = 13 +BT_SECURITY = 4 +BT_SNDMTU = 12 +BT_VOICE = 11 +CMTPCONNADD = 2147763144 +CMTPCONNDEL = 2147763145 +CMTPGETCONNINFO = 1074021331 +CMTPGETCONNLIST = 1074021330 +HCIBLOCKADDR = 2147764454 +HCIDEVDOWN = 2147764426 +HCIDEVRESET = 2147764427 +HCIDEVRESTAT = 2147764428 +HCIDEVUP = 2147764425 +HCIGETAUTHINFO = 1074022615 +HCIGETCONNINFO = 1074022613 +HCIGETCONNLIST = 1074022612 +HCIGETDEVINFO = 1074022611 +HCIGETDEVLIST = 1074022610 +HCIINQUIRY = 1074022640 +HCISETACLMTU = 2147764451 +HCISETAUTH = 2147764446 +HCISETENCRYPT = 2147764447 +HCISETLINKMODE = 2147764450 +HCISETLINKPOL = 2147764449 +HCISETPTYPE = 2147764448 +HCISETRAW = 2147764444 +HCISETSCAN = 2147764445 +HCISETSCOMTU = 2147764452 +HCIUNBLOCKADDR = 2147764455 +HCI_CHANNEL_CONTROL = 3 +HCI_CHANNEL_MONITOR = 2 +HCI_CHANNEL_RAW = 0 +HCI_CHANNEL_USER = 1 +HCI_DATA_DIR = 1 +HCI_FILTER = 2 +HCI_TIME_STAMP = 3 +HIDPCONNADD = 2147764424 +HIDPCONNDEL = 2147764425 +HIDPGETCONNINFO = 1074022611 +HIDPGETCONNLIST = 1074022610 +L2CAP_CONNINFO = 2 +L2CAP_LM = 3 +L2CAP_LM_AUTH = 2 +L2CAP_LM_ENCRYPT = 4 +L2CAP_LM_FIPS = 64 +L2CAP_LM_MASTER = 1 +L2CAP_LM_RELIABLE = 16 +L2CAP_LM_SECURE = 32 +L2CAP_LM_TRUSTED = 8 +L2CAP_OPTIONS = 1 +RFCOMM_CONNINFO = 2 +RFCOMM_LM = 3 +SCO_CONNINFO = 2 +SCO_OPTIONS = 1 +SIOCGSTAMP = 35078 +SIOCGSTAMPNS = 35079 +SOCK_DGRAM = 2 +SOCK_RAW = 3 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_BLUETOOTH = 274 +SOL_L2CAP = 6 +SOL_RFCOMM = 18 +SOL_SCO = 17 +TIOCINQ = 1074030207 +TIOCOUTQ = 1074033779 +__NR_bind = 327 +__NR_connect = 328 +__NR_getsockopt = 340 +__NR_ioctl = 54 +__NR_setsockopt = 339 +__NR_socket = 326 diff --git a/sys/socket_inet.txt b/sys/socket_inet.txt new file mode 100644 index 000000000..41b214ccd --- /dev/null +++ b/sys/socket_inet.txt @@ -0,0 +1,208 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include +include + +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]) + +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 +sockopt_opt_ip_mreqsrc = IP_ADD_SOURCE_MEMBERSHIP, IP_BLOCK_SOURCE, IP_DROP_SOURCE_MEMBERSHIP, IP_UNBLOCK_SOURCE +sockopt_opt_ip_buf = IP_MSFILTER +sockopt_opt_ip_opts = IP_OPTIONS, IP_PKTOPTIONS +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 + empty const[0x00000000, int32be] +# 127.0.0.1 + loopback const[0x7f000001, int32be] +# 255.255.255.255 + broadcast const[0xffffffff, int32be] +] + +in6_addr_empty { + a0 const[0, int64be] + a1 const[0, int64be] +} + +in6_addr_loopback { + a0 const[0, int64be] + a1 const[1, int64be] +} + +in6_addr [ + empty in6_addr_empty + loopback in6_addr_loopback +] + +sockaddr_in { + family const[AF_INET, int16] + port proc[int16be, 20000, 4] + addr in_addr + pad array[const[0, int8], 8] +} + +sockaddr_in6 { + family const[AF_INET6, int16] + port proc[int16be, 20000, 4] + flow int32 + addr in6_addr + scope int32 +} + +sockaddr_storage_in { + addr sockaddr_in + pad array[const[0, int64], 15] +} + +sockaddr_storage_in6 { + addr sockaddr_in6 + pad array[const[0, int64], 12] +} + +sockaddr_storage [ + in sockaddr_storage_in + in6 sockaddr_storage_in6 +] + +ip_mreq { + multi in_addr + addr in_addr +} + +ip_mreqn { + multi in_addr + addr in_addr + ifindex int32 +} + +ip_mreq_source { + multi in_addr + iface in_addr + source in_addr +} + +ip_msfilter { + multi in_addr + iface in_addr + fmode flags[ip_msfilter_mode, int32] + numsrc len[slist, int32] + slist array[in_addr] +} + +in_pktinfo { + ifindex int32 + dst in_addr + addr in_addr +} + +xfrm_filer { + info xfrm_userpolicy_info + tmpl xfrm_user_tmpl +} + +xfrm_userpolicy_info { + sel xfrm_selector + lft xfrm_lifetime_cfg + cur xfrm_lifetime_cur + prio int32 + index int32 + dir int8 + action int8 + flags int8 + share int8 +} + +xfrm_user_tmpl { + id xfrm_id + fam int16 + saddr xfrm_in_addr + reqid int32 + mode int8 + share int8 + opt int8 + aalgod int32 + ealgos int32 + calgos int32 +} + +xfrm_selector { + daddr xfrm_in_addr + saddr xfrm_in_addr + dport proc[int16be, 20000, 4] + dmask int16 + sport proc[int16be, 20000, 4] + smask int16 + fam int16 + len_d int8 + len_s int8 + proto int8 + ifindex int32 + user int32 +} + +xfrm_lifetime_cfg { + x0 int64 + x1 int64 + x2 int64 + x3 int64 + x4 int64 + x5 int64 + x6 int64 + x7 int64 +} + +xfrm_lifetime_cur { + bytes int64 + packets int64 + atime int64 + utime int64 +} + +xfrm_id { + daddr xfrm_in_addr + spi int32 + proto int8 +} + +xfrm_in_addr [ + in in_addr + in6 in6_addr +] + +ipv6_mreq { + multi in6_addr + ifindex int32 +} diff --git a/sys/socket_inet_amd64.const b/sys/socket_inet_amd64.const new file mode 100644 index 000000000..e94a6be44 --- /dev/null +++ b/sys/socket_inet_amd64.const @@ -0,0 +1,111 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_ICMP = 1 +IPPROTO_IP = 0 +IPPROTO_IPV6 = 41 +IPV6_2292DSTOPTS = 4 +IPV6_2292HOPLIMIT = 8 +IPV6_2292HOPOPTS = 3 +IPV6_2292PKTINFO = 2 +IPV6_2292PKTOPTIONS = 6 +IPV6_2292RTHDR = 5 +IPV6_ADDRFORM = 1 +IPV6_ADD_MEMBERSHIP = 20 +IPV6_AUTHHDR = 10 +IPV6_CHECKSUM = 7 +IPV6_DROP_MEMBERSHIP = 21 +IPV6_DSTOPTS = 59 +IPV6_FLOWINFO = 11 +IPV6_HOPLIMIT = 52 +IPV6_HOPOPTS = 54 +IPV6_JOIN_ANYCAST = 27 +IPV6_LEAVE_ANYCAST = 28 +IPV6_MTU = 24 +IPV6_MTU_DISCOVER = 23 +IPV6_MULTICAST_HOPS = 18 +IPV6_MULTICAST_IF = 17 +IPV6_MULTICAST_LOOP = 19 +IPV6_RECVERR = 25 +IPV6_RECVPKTINFO = 49 +IPV6_ROUTER_ALERT = 22 +IPV6_RTHDR = 57 +IPV6_UNICAST_HOPS = 16 +IPV6_V6ONLY = 26 +IP_ADD_MEMBERSHIP = 35 +IP_ADD_SOURCE_MEMBERSHIP = 39 +IP_BIND_ADDRESS_NO_PORT = 24 +IP_BLOCK_SOURCE = 38 +IP_CHECKSUM = 23 +IP_DROP_MEMBERSHIP = 36 +IP_DROP_SOURCE_MEMBERSHIP = 40 +IP_FREEBIND = 15 +IP_HDRINCL = 3 +IP_IPSEC_POLICY = 16 +IP_MINTTL = 21 +IP_MSFILTER = 41 +IP_MTU = 14 +IP_MTU_DISCOVER = 10 +IP_MULTICAST_ALL = 49 +IP_MULTICAST_IF = 32 +IP_MULTICAST_LOOP = 34 +IP_MULTICAST_TTL = 33 +IP_NODEFRAG = 22 +IP_OPTIONS = 4 +IP_PASSSEC = 18 +IP_PKTINFO = 8 +IP_PKTOPTIONS = 9 +IP_PMTUDISC_DO = 2 +IP_PMTUDISC_DONT = 0 +IP_PMTUDISC_INTERFACE = 4 +IP_PMTUDISC_OMIT = 5 +IP_PMTUDISC_PROBE = 3 +IP_PMTUDISC_WANT = 1 +IP_RECVERR = 11 +IP_RECVOPTS = 6 +IP_RECVORIGDSTADDR = 20 +IP_RECVTOS = 13 +IP_RECVTTL = 12 +IP_RETOPTS = 7 +IP_ROUTER_ALERT = 5 +IP_TOS = 1 +IP_TRANSPARENT = 19 +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_getsockopt = 55 +__NR_setsockopt = 54 diff --git a/sys/socket_inet_arm64.const b/sys/socket_inet_arm64.const new file mode 100644 index 000000000..af41e04e1 --- /dev/null +++ b/sys/socket_inet_arm64.const @@ -0,0 +1,111 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_ICMP = 1 +IPPROTO_IP = 0 +IPPROTO_IPV6 = 41 +IPV6_2292DSTOPTS = 4 +IPV6_2292HOPLIMIT = 8 +IPV6_2292HOPOPTS = 3 +IPV6_2292PKTINFO = 2 +IPV6_2292PKTOPTIONS = 6 +IPV6_2292RTHDR = 5 +IPV6_ADDRFORM = 1 +IPV6_ADD_MEMBERSHIP = 20 +IPV6_AUTHHDR = 10 +IPV6_CHECKSUM = 7 +IPV6_DROP_MEMBERSHIP = 21 +IPV6_DSTOPTS = 59 +IPV6_FLOWINFO = 11 +IPV6_HOPLIMIT = 52 +IPV6_HOPOPTS = 54 +IPV6_JOIN_ANYCAST = 27 +IPV6_LEAVE_ANYCAST = 28 +IPV6_MTU = 24 +IPV6_MTU_DISCOVER = 23 +IPV6_MULTICAST_HOPS = 18 +IPV6_MULTICAST_IF = 17 +IPV6_MULTICAST_LOOP = 19 +IPV6_RECVERR = 25 +IPV6_RECVPKTINFO = 49 +IPV6_ROUTER_ALERT = 22 +IPV6_RTHDR = 57 +IPV6_UNICAST_HOPS = 16 +IPV6_V6ONLY = 26 +IP_ADD_MEMBERSHIP = 35 +IP_ADD_SOURCE_MEMBERSHIP = 39 +IP_BIND_ADDRESS_NO_PORT = 24 +IP_BLOCK_SOURCE = 38 +IP_CHECKSUM = 23 +IP_DROP_MEMBERSHIP = 36 +IP_DROP_SOURCE_MEMBERSHIP = 40 +IP_FREEBIND = 15 +IP_HDRINCL = 3 +IP_IPSEC_POLICY = 16 +IP_MINTTL = 21 +IP_MSFILTER = 41 +IP_MTU = 14 +IP_MTU_DISCOVER = 10 +IP_MULTICAST_ALL = 49 +IP_MULTICAST_IF = 32 +IP_MULTICAST_LOOP = 34 +IP_MULTICAST_TTL = 33 +IP_NODEFRAG = 22 +IP_OPTIONS = 4 +IP_PASSSEC = 18 +IP_PKTINFO = 8 +IP_PKTOPTIONS = 9 +IP_PMTUDISC_DO = 2 +IP_PMTUDISC_DONT = 0 +IP_PMTUDISC_INTERFACE = 4 +IP_PMTUDISC_OMIT = 5 +IP_PMTUDISC_PROBE = 3 +IP_PMTUDISC_WANT = 1 +IP_RECVERR = 11 +IP_RECVOPTS = 6 +IP_RECVORIGDSTADDR = 20 +IP_RECVTOS = 13 +IP_RECVTTL = 12 +IP_RETOPTS = 7 +IP_ROUTER_ALERT = 5 +IP_TOS = 1 +IP_TRANSPARENT = 19 +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_getsockopt = 209 +__NR_setsockopt = 208 diff --git a/sys/socket_inet_icmp.txt b/sys/socket_inet_icmp.txt new file mode 100644 index 000000000..0dd4036cf --- /dev/null +++ b/sys/socket_inet_icmp.txt @@ -0,0 +1,47 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_INET and AF_INET6: ICMP support + +include +include + +resource sock_icmp[sock] + +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] + +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 + f1 sock_icmp6 +} diff --git a/sys/socket_inet_icmp_amd64.const b/sys/socket_inet_icmp_amd64.const new file mode 100644 index 000000000..d02f17183 --- /dev/null +++ b/sys/socket_inet_icmp_amd64.const @@ -0,0 +1,17 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +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 new file mode 100644 index 000000000..487ef6903 --- /dev/null +++ b/sys/socket_inet_icmp_arm64.const @@ -0,0 +1,17 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +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 new file mode 100644 index 000000000..3715ed6e1 --- /dev/null +++ b/sys/socket_inet_icmp_ppc64le.const @@ -0,0 +1,17 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +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 new file mode 100644 index 000000000..5a3f556d5 --- /dev/null +++ b/sys/socket_inet_ppc64le.const @@ -0,0 +1,111 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_ICMP = 1 +IPPROTO_IP = 0 +IPPROTO_IPV6 = 41 +IPV6_2292DSTOPTS = 4 +IPV6_2292HOPLIMIT = 8 +IPV6_2292HOPOPTS = 3 +IPV6_2292PKTINFO = 2 +IPV6_2292PKTOPTIONS = 6 +IPV6_2292RTHDR = 5 +IPV6_ADDRFORM = 1 +IPV6_ADD_MEMBERSHIP = 20 +IPV6_AUTHHDR = 10 +IPV6_CHECKSUM = 7 +IPV6_DROP_MEMBERSHIP = 21 +IPV6_DSTOPTS = 59 +IPV6_FLOWINFO = 11 +IPV6_HOPLIMIT = 52 +IPV6_HOPOPTS = 54 +IPV6_JOIN_ANYCAST = 27 +IPV6_LEAVE_ANYCAST = 28 +IPV6_MTU = 24 +IPV6_MTU_DISCOVER = 23 +IPV6_MULTICAST_HOPS = 18 +IPV6_MULTICAST_IF = 17 +IPV6_MULTICAST_LOOP = 19 +IPV6_RECVERR = 25 +IPV6_RECVPKTINFO = 49 +IPV6_ROUTER_ALERT = 22 +IPV6_RTHDR = 57 +IPV6_UNICAST_HOPS = 16 +IPV6_V6ONLY = 26 +IP_ADD_MEMBERSHIP = 35 +IP_ADD_SOURCE_MEMBERSHIP = 39 +IP_BIND_ADDRESS_NO_PORT = 24 +IP_BLOCK_SOURCE = 38 +IP_CHECKSUM = 23 +IP_DROP_MEMBERSHIP = 36 +IP_DROP_SOURCE_MEMBERSHIP = 40 +IP_FREEBIND = 15 +IP_HDRINCL = 3 +IP_IPSEC_POLICY = 16 +IP_MINTTL = 21 +IP_MSFILTER = 41 +IP_MTU = 14 +IP_MTU_DISCOVER = 10 +IP_MULTICAST_ALL = 49 +IP_MULTICAST_IF = 32 +IP_MULTICAST_LOOP = 34 +IP_MULTICAST_TTL = 33 +IP_NODEFRAG = 22 +IP_OPTIONS = 4 +IP_PASSSEC = 18 +IP_PKTINFO = 8 +IP_PKTOPTIONS = 9 +IP_PMTUDISC_DO = 2 +IP_PMTUDISC_DONT = 0 +IP_PMTUDISC_INTERFACE = 4 +IP_PMTUDISC_OMIT = 5 +IP_PMTUDISC_PROBE = 3 +IP_PMTUDISC_WANT = 1 +IP_RECVERR = 11 +IP_RECVOPTS = 6 +IP_RECVORIGDSTADDR = 20 +IP_RECVTOS = 13 +IP_RECVTTL = 12 +IP_RETOPTS = 7 +IP_ROUTER_ALERT = 5 +IP_TOS = 1 +IP_TRANSPARENT = 19 +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_getsockopt = 340 +__NR_setsockopt = 339 diff --git a/sys/socket_inet_sctp.txt b/sys/socket_inet_sctp.txt new file mode 100755 index 000000000..e3bbdcb1a --- /dev/null +++ b/sys/socket_inet_sctp.txt @@ -0,0 +1,324 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_INET and AF_INET6: SCTP support + +include +include + +resource sock_sctp[sock] + +socket$sctp(domain const[AF_INET], type flags[sctp_socket_type], proto const[IPPROTO_SCTP]) sock_sctp +socket$sctp6(domain const[AF_INET6], type flags[sctp_socket_type], proto const[IPPROTO_SCTP]) sock_sctp +socketpair$sctp(domain const[AF_INET], type flags[sctp_socket_type], proto const[IPPROTO_SCTP], fds ptr[out, sctp_pair]) +bind$sctp(fd sock_sctp, addr ptr[in, sockaddr_sctp], addrlen len[addr]) +connect$sctp(fd sock_sctp, addr ptr[in, sockaddr_sctp], addrlen len[addr]) +accept$sctp(fd sock_sctp, peer ptr[out, sockaddr_sctp, opt], peerlen ptr[inout, len[peer, int32]]) sock_sctp +accept4$sctp(fd sock_sctp, peer ptr[out, sockaddr_sctp, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_sctp +sendto$sctp(fd sock_sctp, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_sctp, opt], addrlen len[addr]) +sendmsg$sctp(fd sock_sctp, msg ptr[in, msghdr_sctp], f flags[send_flags]) +sendmmsg$sctp(fd sock_sctp, mmsg ptr[in, array[msghdr_sctp]], vlen len[mmsg], f flags[send_flags]) +recvfrom$sctp(fd sock_sctp, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_sctp, opt], addrlen len[addr]) +getsockname$sctp(fd sock_sctp, addr ptr[out, sockaddr_sctp], addrlen ptr[inout, len[addr, int32]]) +getpeername$sctp(fd sock_sctp, peer ptr[out, sockaddr_sctp], peerlen ptr[inout, len[peer, int32]]) + +setsockopt$SCTP_SOCKOPT_BINDX_ADD(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_BINDX_ADD], val ptr[in, array[sockaddr_sctp]], len bytesize[val]) +setsockopt$SCTP_SOCKOPT_BINDX_REM(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_BINDX_REM], val ptr[in, array[sockaddr_sctp]], len len[val]) +setsockopt$SCTP_SOCKOPT_CONNECTX_OLD(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_CONNECTX_OLD], val ptr[in, sockaddr_sctp], len len[val]) +setsockopt$SCTP_SOCKOPT_CONNECTX(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_CONNECTX], val ptr[in, sockaddr_sctp], len len[val]) +setsockopt$SCTP_DISABLE_FRAGMENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DISABLE_FRAGMENTS], val ptr[in, int32], len len[val]) +setsockopt$SCTP_EVENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_EVENTS], val ptr[in, sctp_event_subscribe], len len[val]) +setsockopt$SCTP_AUTOCLOSE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTOCLOSE], val ptr[in, int32], len len[val]) +setsockopt$SCTP_PEER_ADDR_PARAMS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_PARAMS], val ptr[in, sctp_paddrparams], len len[val]) +setsockopt$SCTP_DELAYED_SACK(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DELAYED_SACK], val ptr[in, sctp_delayed_sack], len len[val]) +setsockopt$SCTP_PARTIAL_DELIVERY_POINT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PARTIAL_DELIVERY_POINT], val ptr[in, int32], len len[val]) +setsockopt$SCTP_INITMSG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_INITMSG], val ptr[in, sctp_initmsg], len len[val]) +setsockopt$SCTP_DEFAULT_SEND_PARAM(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SEND_PARAM], val ptr[in, sctp_sndrcvinfo], len len[val]) +setsockopt$SCTP_DEFAULT_SNDINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SNDINFO], val ptr[in, sctp_sndinfo], len len[val]) +setsockopt$SCTP_PRIMARY_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PRIMARY_ADDR], val ptr[in, sctp_prim], len len[val]) +setsockopt$SCTP_SET_PEER_PRIMARY_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SET_PEER_PRIMARY_ADDR], val ptr[in, sctp_prim], len len[val]) +setsockopt$SCTP_NODELAY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_NODELAY], val ptr[in, int32], len len[val]) +setsockopt$SCTP_RTOINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RTOINFO], val ptr[in, sctp_rtoinfo], len len[val]) +setsockopt$SCTP_ASSOCINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ASSOCINFO], val ptr[in, sctp_assocparams], len len[val]) +setsockopt$SCTP_I_WANT_MAPPED_V4_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_I_WANT_MAPPED_V4_ADDR], val ptr[in, int32], len len[val]) +setsockopt$SCTP_MAXSEG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAXSEG], val ptr[in, sctp_maxseg], len len[val]) +setsockopt$SCTP_ADAPTATION_LAYER(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ADAPTATION_LAYER], val ptr[in, int32], len len[val]) +setsockopt$SCTP_CONTEXT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_CONTEXT], val ptr[in, sctp_assoc_value], len len[val]) +setsockopt$SCTP_FRAGMENT_INTERLEAVE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_FRAGMENT_INTERLEAVE], val ptr[in, int32], len len[val]) +setsockopt$SCTP_MAX_BURST(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAX_BURST], val ptr[in, sctp_max_burst], len len[val]) +setsockopt$SCTP_AUTH_CHUNK(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_CHUNK], val ptr[in, int8], len len[val]) +setsockopt$SCTP_HMAC_IDENT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_HMAC_IDENT], val ptr[in, sctp_hmacalgo], len len[val]) +setsockopt$SCTP_AUTH_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_KEY], val ptr[in, sctp_authkey], len len[val]) +setsockopt$SCTP_AUTH_ACTIVE_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_ACTIVE_KEY], val ptr[in, sctp_authkeyid], len len[val]) +setsockopt$SCTP_AUTH_DELETE_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_DELETE_KEY], val ptr[in, sctp_authkeyid], len len[val]) +setsockopt$SCTP_AUTO_ASCONF(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTO_ASCONF], val ptr[in, int32], len len[val]) +setsockopt$SCTP_PEER_ADDR_THLDS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_THLDS], val ptr[in, sctp_paddrthlds], len len[val]) +setsockopt$SCTP_RECVRCVINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVRCVINFO], val ptr[in, int32], len len[val]) +setsockopt$SCTP_RECVNXTINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVNXTINFO], val ptr[in, int32], len len[val]) + +getsockopt$SCTP_STATUS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_STATUS], val ptr[inout, sctp_status], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_DISABLE_FRAGMENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DISABLE_FRAGMENTS], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_EVENTS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_EVENTS], val ptr[out, sctp_event_subscribe], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_AUTOCLOSE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTOCLOSE], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_SOCKOPT_PEELOFF(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_PEELOFF], val ptr[inout, sctp_peeloff_arg_t], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_PEER_ADDR_PARAMS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_PARAMS], val ptr[inout, sctp_paddrparams], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_DELAYED_SACK(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DELAYED_SACK], val ptr[inout, sctp_sack_info], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_INITMSG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_INITMSG], val ptr[out, sctp_initmsg], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_GET_PEER_ADDRS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_PEER_ADDRS], val ptr[inout, sctp_getaddrs], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_GET_LOCAL_ADDRS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_LOCAL_ADDRS], val ptr[inout, sctp_getaddrs], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_SOCKOPT_CONNECTX3(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_SOCKOPT_CONNECTX3], val ptr[inout, sctp_getaddrs_old], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_DEFAULT_SEND_PARAM(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SEND_PARAM], val ptr[inout, sctp_sndrcvinfo], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_DEFAULT_SNDINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_DEFAULT_SNDINFO], val ptr[inout, sctp_sndinfo], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_PRIMARY_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PRIMARY_ADDR], val ptr[inout, sctp_prim], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_NODELAY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_NODELAY], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_RTOINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RTOINFO], val ptr[inout, sctp_rtoinfo], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_ASSOCINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ASSOCINFO], val ptr[inout, sctp_sndinfo], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_I_WANT_MAPPED_V4_ADDR(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_I_WANT_MAPPED_V4_ADDR], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_MAXSEG(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAXSEG], val ptr[inout, sctp_assoc_value], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_GET_PEER_ADDR_INFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_PEER_ADDR_INFO], val ptr[inout, sctp_paddrinfo], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_ADAPTATION_LAYER(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_ADAPTATION_LAYER], val ptr[out, sctp_setadaptation], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_CONTEXT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_CONTEXT], val ptr[inout, sctp_assoc_value], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_FRAGMENT_INTERLEAVE(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_FRAGMENT_INTERLEAVE], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_PARTIAL_DELIVERY_POINT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PARTIAL_DELIVERY_POINT], val ptr[inout, sctp_assoc_value], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_MAX_BURST(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_MAX_BURST], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_HMAC_IDENT(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_HMAC_IDENT], val ptr[inout, sctp_authkeyid], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_AUTH_ACTIVE_KEY(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTH_ACTIVE_KEY], val ptr[inout, sctp_authkeyid], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_PEER_AUTH_CHUNKS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_AUTH_CHUNKS], val ptr[inout, sctp_authchunks], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_LOCAL_AUTH_CHUNKS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_LOCAL_AUTH_CHUNKS], val ptr[inout, sctp_authchunks], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_GET_ASSOC_NUMBER(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_ASSOC_NUMBER], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_GET_ASSOC_ID_LIST(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_ASSOC_ID_LIST], val ptr[out, sctp_assoc_ids], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_AUTO_ASCONF(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_AUTO_ASCONF], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_PEER_ADDR_THLDS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_PEER_ADDR_THLDS], val ptr[inout, sctp_paddrthlds], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_GET_ASSOC_STATS(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_GET_ASSOC_STATS], val ptr[inout, sctp_assoc_stats], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_RECVRCVINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVRCVINFO], val ptr[out, int32], len ptr[inout, len[val, int32]] ) +getsockopt$SCTP_RECVNXTINFO(fd sock_sctp, level const[SOL_SCTP], opt const[SCTP_RECVNXTINFO], val ptr[out, int32], len ptr[inout, len[val, int32]] ) + +ioctl$SCTP_SIOCINQ(fd sock_sctp, cmd const[SIOCINQ], arg ptr[out, int32]) + +sctp_socket_type = SOCK_STREAM, SOCK_SEQPACKET +sctp_sndrcv_flags = SCTP_UNORDERED, SCTP_ADDR_OVER, SCTP_ABORT, SCTP_EOF +sctp_spp_flags = SPP_HB_ENABLE, SPP_HB_DISABLE, SPP_HB_DEMAND, SPP_HB_TIME_IS_ZERO, SPP_PMTUD_ENABLE, SPP_PMTUD_DISABLE, SPP_SACKDELAY_ENABLE, SPP_SACKDELAY_DISABLE + +sctp_pair { + fd0 sock_sctp + fd1 sock_sctp +} + +sockaddr_sctp [ + in sockaddr_in + in6 sockaddr_in6 +] [varlen] + +sockaddr_storage_sctp [ + in sockaddr_storage_in + in6 sockaddr_storage_in6 +] + +msghdr_sctp { + addr ptr[in, sockaddr_sctp] + addrlen len[addr, int32] + vec ptr[in, array[iovec_in]] + vlen len[vec, intptr] + ctrl ptr[in, array[cmsghdr_sctp], opt] + ctrllen len[ctrl, intptr] + f flags[send_flags, int32] +} + +cmsghdr_sctp [ + init cmsghdr_sctp_init + sndrcv cmsghdr_sctp_sndrcv + sndinfo cmsghdr_sctp_sndinfo +] + +cmsghdr_sctp_init { + len len[parent, intptr] + level const[IPPROTO_SCTP, int32] + type const[SCTP_INIT, int32] + msg sctp_initmsg +} + +sctp_initmsg { + nostr int16 + minstr int16 + maxatt int16 + maxinit int16 +} + +cmsghdr_sctp_sndrcv { + len len[parent, intptr] + level const[IPPROTO_SCTP, int32] + type const[SCTP_SNDRCV, int32] + msg sctp_sndrcvinfo +} + +sctp_sndrcvinfo { + stream int16 + ssn int16 + flags flags[sctp_sndrcv_flags, int16] + ppid int32 + context int32 + ttl int32 + tsn int32 + cumtsn int32 + assoc int32 +} + +cmsghdr_sctp_sndinfo { + len len[parent, intptr] + level const[IPPROTO_SCTP, int32] + type const[SCTP_SNDINFO, int32] + msg sctp_sndinfo +} + +sctp_sndinfo { + sid int16 + flags flags[sctp_sndrcv_flags, int16] + ppid int32 + context int32 + assoc int32 +} + +sctp_delayed_sack [ + sack sctp_sack_info + assoc sctp_assoc_value +] [varlen] + +sctp_sack_info { + assoc int32 + delay int32 + freq int32 +} + +sctp_maxseg [ + assoc sctp_assoc_value + int int32 +] [varlen] + +sctp_max_burst [ + assoc sctp_assoc_value + int int32 +] [varlen] + +sctp_assoc_value { + assoc int32 + value int32 +} + + +sctp_event_subscribe { + ev array[int8, 10] +} + +sctp_paddrparams { + assoc int32 + addr sockaddr_storage_sctp + interv int32 + maxrxt int16 + pathmtu int32 + sackdel int32 + spp int32 + flags flags[sctp_spp_flags, int32] +} [packed, align_4] + +sctp_authkey { + assoc int32 + keynum int16 + keylen len[key, int16] + key array[int8] +} + +sctp_prim { + assoc int32 + addr sockaddr_storage_sctp +} [packed, align_4] + +sctp_rtoinfo { + assoc int32 + init int32 + max int32 + min int32 +} + +sctp_assocparams { + assoc int32 + maxrxt int16 + ndest int16 + prwnd int32 + lrwnd int32 + life int32 +} + +sctp_hmacalgo { + nident len[ident, int32] + ident array[int16] +} + +sctp_authkeyid { + assoc int32 + keyn int16 +} + +sctp_paddrthlds { + assoc int32 + addr sockaddr_storage_sctp + maxrxt int16 + pfthld int16 +} + +sctp_paddrinfo { + assoc int32 + addr sockaddr_storage_sctp + state int32 + cwnd int32 + srtt int32 + rto int32 + mtu int32 +} [packed, align_4] + +sctp_status { + assoc int32 + state int32 + rwnd int32 + unpack int16 + pend int16 + in int16 + out int16 + frag int32 + prim sctp_paddrinfo +} + +sctp_getaddrs_old { + assoc int32 + num int32 + addrs ptr[in, sockaddr_sctp] +} + +sctp_getaddrs { + assoc int32 + num int32 + addrs int8 +} + +sctp_peeloff_arg_t { + assoc int32 + sd int32 +} + +sctp_assoc_stats { + assoc int32 + rto sockaddr_storage_sctp + status array[int64, 15] +} + +sctp_assoc_ids { + num int32 + assoc array[int32] +} + +sctp_authchunks { + chunk int8 +} + +sctp_setadaptation { + adpt int32 +} diff --git a/sys/socket_inet_sctp_amd64.const b/sys/socket_inet_sctp_amd64.const new file mode 100644 index 000000000..920c8a073 --- /dev/null +++ b/sys/socket_inet_sctp_amd64.const @@ -0,0 +1,82 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_SCTP = 132 +SCTP_ABORT = 4 +SCTP_ADAPTATION_LAYER = 7 +SCTP_ADDR_OVER = 2 +SCTP_ASSOCINFO = 1 +SCTP_AUTH_ACTIVE_KEY = 24 +SCTP_AUTH_CHUNK = 21 +SCTP_AUTH_DELETE_KEY = 25 +SCTP_AUTH_KEY = 23 +SCTP_AUTOCLOSE = 4 +SCTP_AUTO_ASCONF = 30 +SCTP_CONTEXT = 17 +SCTP_DEFAULT_SEND_PARAM = 10 +SCTP_DEFAULT_SNDINFO = 34 +SCTP_DELAYED_SACK = 16 +SCTP_DISABLE_FRAGMENTS = 8 +SCTP_EOF = 512 +SCTP_EVENTS = 11 +SCTP_FRAGMENT_INTERLEAVE = 18 +SCTP_GET_ASSOC_ID_LIST = 29 +SCTP_GET_ASSOC_NUMBER = 28 +SCTP_GET_ASSOC_STATS = 112 +SCTP_GET_LOCAL_ADDRS = 109 +SCTP_GET_PEER_ADDRS = 108 +SCTP_GET_PEER_ADDR_INFO = 15 +SCTP_HMAC_IDENT = 22 +SCTP_INIT = 0 +SCTP_INITMSG = 2 +SCTP_I_WANT_MAPPED_V4_ADDR = 12 +SCTP_LOCAL_AUTH_CHUNKS = 27 +SCTP_MAXSEG = 13 +SCTP_MAX_BURST = 20 +SCTP_NODELAY = 3 +SCTP_PARTIAL_DELIVERY_POINT = 19 +SCTP_PEER_ADDR_PARAMS = 9 +SCTP_PEER_ADDR_THLDS = 31 +SCTP_PEER_AUTH_CHUNKS = 26 +SCTP_PRIMARY_ADDR = 6 +SCTP_RECVNXTINFO = 33 +SCTP_RECVRCVINFO = 32 +SCTP_RTOINFO = 0 +SCTP_SET_PEER_PRIMARY_ADDR = 5 +SCTP_SNDINFO = 2 +SCTP_SNDRCV = 1 +SCTP_SOCKOPT_BINDX_ADD = 100 +SCTP_SOCKOPT_BINDX_REM = 101 +SCTP_SOCKOPT_CONNECTX = 110 +SCTP_SOCKOPT_CONNECTX3 = 111 +SCTP_SOCKOPT_CONNECTX_OLD = 107 +SCTP_SOCKOPT_PEELOFF = 102 +SCTP_STATUS = 14 +SCTP_UNORDERED = 1 +SIOCINQ = 21531 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_SCTP = 132 +SPP_HB_DEMAND = 4 +SPP_HB_DISABLE = 2 +SPP_HB_ENABLE = 1 +SPP_HB_TIME_IS_ZERO = 128 +SPP_PMTUD_DISABLE = 16 +SPP_PMTUD_ENABLE = 8 +SPP_SACKDELAY_DISABLE = 64 +SPP_SACKDELAY_ENABLE = 32 +__NR_accept = 43 +__NR_accept4 = 288 +__NR_bind = 49 +__NR_connect = 42 +__NR_getpeername = 52 +__NR_getsockname = 51 +__NR_getsockopt = 55 +__NR_ioctl = 16 +__NR_recvfrom = 45 +__NR_sendmmsg = 307 +__NR_sendmsg = 46 +__NR_sendto = 44 +__NR_setsockopt = 54 +__NR_socket = 41 +__NR_socketpair = 53 diff --git a/sys/socket_inet_sctp_arm64.const b/sys/socket_inet_sctp_arm64.const new file mode 100644 index 000000000..145e44476 --- /dev/null +++ b/sys/socket_inet_sctp_arm64.const @@ -0,0 +1,82 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_SCTP = 132 +SCTP_ABORT = 4 +SCTP_ADAPTATION_LAYER = 7 +SCTP_ADDR_OVER = 2 +SCTP_ASSOCINFO = 1 +SCTP_AUTH_ACTIVE_KEY = 24 +SCTP_AUTH_CHUNK = 21 +SCTP_AUTH_DELETE_KEY = 25 +SCTP_AUTH_KEY = 23 +SCTP_AUTOCLOSE = 4 +SCTP_AUTO_ASCONF = 30 +SCTP_CONTEXT = 17 +SCTP_DEFAULT_SEND_PARAM = 10 +SCTP_DEFAULT_SNDINFO = 34 +SCTP_DELAYED_SACK = 16 +SCTP_DISABLE_FRAGMENTS = 8 +SCTP_EOF = 512 +SCTP_EVENTS = 11 +SCTP_FRAGMENT_INTERLEAVE = 18 +SCTP_GET_ASSOC_ID_LIST = 29 +SCTP_GET_ASSOC_NUMBER = 28 +SCTP_GET_ASSOC_STATS = 112 +SCTP_GET_LOCAL_ADDRS = 109 +SCTP_GET_PEER_ADDRS = 108 +SCTP_GET_PEER_ADDR_INFO = 15 +SCTP_HMAC_IDENT = 22 +SCTP_INIT = 0 +SCTP_INITMSG = 2 +SCTP_I_WANT_MAPPED_V4_ADDR = 12 +SCTP_LOCAL_AUTH_CHUNKS = 27 +SCTP_MAXSEG = 13 +SCTP_MAX_BURST = 20 +SCTP_NODELAY = 3 +SCTP_PARTIAL_DELIVERY_POINT = 19 +SCTP_PEER_ADDR_PARAMS = 9 +SCTP_PEER_ADDR_THLDS = 31 +SCTP_PEER_AUTH_CHUNKS = 26 +SCTP_PRIMARY_ADDR = 6 +SCTP_RECVNXTINFO = 33 +SCTP_RECVRCVINFO = 32 +SCTP_RTOINFO = 0 +SCTP_SET_PEER_PRIMARY_ADDR = 5 +SCTP_SNDINFO = 2 +SCTP_SNDRCV = 1 +SCTP_SOCKOPT_BINDX_ADD = 100 +SCTP_SOCKOPT_BINDX_REM = 101 +SCTP_SOCKOPT_CONNECTX = 110 +SCTP_SOCKOPT_CONNECTX3 = 111 +SCTP_SOCKOPT_CONNECTX_OLD = 107 +SCTP_SOCKOPT_PEELOFF = 102 +SCTP_STATUS = 14 +SCTP_UNORDERED = 1 +SIOCINQ = 21531 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_SCTP = 132 +SPP_HB_DEMAND = 4 +SPP_HB_DISABLE = 2 +SPP_HB_ENABLE = 1 +SPP_HB_TIME_IS_ZERO = 128 +SPP_PMTUD_DISABLE = 16 +SPP_PMTUD_ENABLE = 8 +SPP_SACKDELAY_DISABLE = 64 +SPP_SACKDELAY_ENABLE = 32 +__NR_accept = 202 +__NR_accept4 = 242 +__NR_bind = 200 +__NR_connect = 203 +__NR_getpeername = 205 +__NR_getsockname = 204 +__NR_getsockopt = 209 +__NR_ioctl = 29 +__NR_recvfrom = 207 +__NR_sendmmsg = 269 +__NR_sendmsg = 211 +__NR_sendto = 206 +__NR_setsockopt = 208 +__NR_socket = 198 +__NR_socketpair = 199 diff --git a/sys/socket_inet_sctp_ppc64le.const b/sys/socket_inet_sctp_ppc64le.const new file mode 100644 index 000000000..b90794f9a --- /dev/null +++ b/sys/socket_inet_sctp_ppc64le.const @@ -0,0 +1,82 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_SCTP = 132 +SCTP_ABORT = 4 +SCTP_ADAPTATION_LAYER = 7 +SCTP_ADDR_OVER = 2 +SCTP_ASSOCINFO = 1 +SCTP_AUTH_ACTIVE_KEY = 24 +SCTP_AUTH_CHUNK = 21 +SCTP_AUTH_DELETE_KEY = 25 +SCTP_AUTH_KEY = 23 +SCTP_AUTOCLOSE = 4 +SCTP_AUTO_ASCONF = 30 +SCTP_CONTEXT = 17 +SCTP_DEFAULT_SEND_PARAM = 10 +SCTP_DEFAULT_SNDINFO = 34 +SCTP_DELAYED_SACK = 16 +SCTP_DISABLE_FRAGMENTS = 8 +SCTP_EOF = 512 +SCTP_EVENTS = 11 +SCTP_FRAGMENT_INTERLEAVE = 18 +SCTP_GET_ASSOC_ID_LIST = 29 +SCTP_GET_ASSOC_NUMBER = 28 +SCTP_GET_ASSOC_STATS = 112 +SCTP_GET_LOCAL_ADDRS = 109 +SCTP_GET_PEER_ADDRS = 108 +SCTP_GET_PEER_ADDR_INFO = 15 +SCTP_HMAC_IDENT = 22 +SCTP_INIT = 0 +SCTP_INITMSG = 2 +SCTP_I_WANT_MAPPED_V4_ADDR = 12 +SCTP_LOCAL_AUTH_CHUNKS = 27 +SCTP_MAXSEG = 13 +SCTP_MAX_BURST = 20 +SCTP_NODELAY = 3 +SCTP_PARTIAL_DELIVERY_POINT = 19 +SCTP_PEER_ADDR_PARAMS = 9 +SCTP_PEER_ADDR_THLDS = 31 +SCTP_PEER_AUTH_CHUNKS = 26 +SCTP_PRIMARY_ADDR = 6 +SCTP_RECVNXTINFO = 33 +SCTP_RECVRCVINFO = 32 +SCTP_RTOINFO = 0 +SCTP_SET_PEER_PRIMARY_ADDR = 5 +SCTP_SNDINFO = 2 +SCTP_SNDRCV = 1 +SCTP_SOCKOPT_BINDX_ADD = 100 +SCTP_SOCKOPT_BINDX_REM = 101 +SCTP_SOCKOPT_CONNECTX = 110 +SCTP_SOCKOPT_CONNECTX3 = 111 +SCTP_SOCKOPT_CONNECTX_OLD = 107 +SCTP_SOCKOPT_PEELOFF = 102 +SCTP_STATUS = 14 +SCTP_UNORDERED = 1 +SIOCINQ = 1074030207 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_SCTP = 132 +SPP_HB_DEMAND = 4 +SPP_HB_DISABLE = 2 +SPP_HB_ENABLE = 1 +SPP_HB_TIME_IS_ZERO = 128 +SPP_PMTUD_DISABLE = 16 +SPP_PMTUD_ENABLE = 8 +SPP_SACKDELAY_DISABLE = 64 +SPP_SACKDELAY_ENABLE = 32 +__NR_accept = 330 +__NR_accept4 = 344 +__NR_bind = 327 +__NR_connect = 328 +__NR_getpeername = 332 +__NR_getsockname = 331 +__NR_getsockopt = 340 +__NR_ioctl = 54 +__NR_recvfrom = 337 +__NR_sendmmsg = 349 +__NR_sendmsg = 341 +__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 new file mode 100644 index 000000000..c4d8fdae9 --- /dev/null +++ b/sys/socket_inet_tcp.txt @@ -0,0 +1,49 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_INET and AF_INET6: TCP support + +include + +resource sock_tcp[sock] + +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] + +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 + f1 sock_tcp6 +} + +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]) diff --git a/sys/socket_inet_tcp_amd64.const b/sys/socket_inet_tcp_amd64.const new file mode 100644 index 000000000..9d58825e7 --- /dev/null +++ b/sys/socket_inet_tcp_amd64.const @@ -0,0 +1,29 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_TCP = 6 +SOCK_STREAM = 1 +TCP_CORK = 3 +TCP_DEFER_ACCEPT = 9 +TCP_INFO = 11 +TCP_KEEPCNT = 6 +TCP_KEEPIDLE = 4 +TCP_KEEPINTVL = 5 +TCP_LINGER2 = 8 +TCP_MAXSEG = 2 +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 new file mode 100644 index 000000000..f43649f49 --- /dev/null +++ b/sys/socket_inet_tcp_arm64.const @@ -0,0 +1,29 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_TCP = 6 +SOCK_STREAM = 1 +TCP_CORK = 3 +TCP_DEFER_ACCEPT = 9 +TCP_INFO = 11 +TCP_KEEPCNT = 6 +TCP_KEEPIDLE = 4 +TCP_KEEPINTVL = 5 +TCP_LINGER2 = 8 +TCP_MAXSEG = 2 +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 new file mode 100644 index 000000000..c82d7ed3d --- /dev/null +++ b/sys/socket_inet_tcp_ppc64le.const @@ -0,0 +1,29 @@ +# AUTOGENERATED FILE +AF_INET = 2 +AF_INET6 = 10 +IPPROTO_TCP = 6 +SOCK_STREAM = 1 +TCP_CORK = 3 +TCP_DEFER_ACCEPT = 9 +TCP_INFO = 11 +TCP_KEEPCNT = 6 +TCP_KEEPIDLE = 4 +TCP_KEEPINTVL = 5 +TCP_LINGER2 = 8 +TCP_MAXSEG = 2 +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 new file mode 100644 index 000000000..20151fdd2 --- /dev/null +++ b/sys/socket_inet_udp.txt @@ -0,0 +1,45 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_INET and AF_INET6: UDP support + +include + +resource sock_udp[sock] + +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] + +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]) diff --git a/sys/socket_inet_udp_amd64.const b/sys/socket_inet_udp_amd64.const new file mode 100644 index 000000000..2357f1ca3 --- /dev/null +++ b/sys/socket_inet_udp_amd64.const @@ -0,0 +1,18 @@ +# AUTOGENERATED FILE +AF_INET = 2 +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 new file mode 100644 index 000000000..bea5eb77c --- /dev/null +++ b/sys/socket_inet_udp_arm64.const @@ -0,0 +1,18 @@ +# AUTOGENERATED FILE +AF_INET = 2 +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 new file mode 100644 index 000000000..2cccf51da --- /dev/null +++ b/sys/socket_inet_udp_ppc64le.const @@ -0,0 +1,18 @@ +# AUTOGENERATED FILE +AF_INET = 2 +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_kcm.txt b/sys/socket_kcm.txt new file mode 100755 index 000000000..feb7eb80c --- /dev/null +++ b/sys/socket_kcm.txt @@ -0,0 +1,33 @@ +# Copyright 2016 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include +include +include + +resource sock_kcm[sock] + +socket$kcm(domain const[AF_KCM], type flags[kcm_socket_type], proto const[KCMPROTO_CONNECTED]) sock_kcm +setsockopt$KCM_RECV_DISABLE(fd sock_kcm, level const[SOL_KCM], opt const[KCM_RECV_DISABLE], val ptr[in, int32], len len[val]) +getsockopt$KCM_RECV_DISABLE(fd sock_kcm, level const[SOL_KCM], opt const[KCM_RECV_DISABLE], val ptr[out, int32], len len[val]) +sendmsg$kcm(fd sock_kcm, msg ptr[in, send_msghdr], f flags[send_flags]) +recvmsg$kcm(fd sock_kcm, msg ptr[in, recv_msghdr], f flags[recv_flags]) + +ioctl$SIOCKCMATTACH(fd sock_kcm, cmd const[SIOCKCMATTACH], arg ptr[in, kcm_attach]) +ioctl$SIOCKCMUNATTACH(fd sock_kcm, cmd const[SIOCKCMUNATTACH], arg ptr[in, kcm_unattach]) +ioctl$SIOCKCMCLONE(fd sock_kcm, cmd const[SIOCKCMCLONE], arg ptr[inout, kcm_clone]) + +kcm_socket_type = SOCK_DGRAM, SOCK_SEQPACKET + +kcm_attach { + fd sock + bpf_fd fd_bpf_prog +} + +kcm_unattach { + fd sock +} + +kcm_clone { + fd sock +} diff --git a/sys/socket_kcm_amd64.const b/sys/socket_kcm_amd64.const new file mode 100644 index 000000000..5abfdf57c --- /dev/null +++ b/sys/socket_kcm_amd64.const @@ -0,0 +1,16 @@ +# AUTOGENERATED FILE +AF_KCM = 41 +KCMPROTO_CONNECTED = 0 +KCM_RECV_DISABLE = 1 +SIOCKCMATTACH = 35296 +SIOCKCMCLONE = 35298 +SIOCKCMUNATTACH = 35297 +SOCK_DGRAM = 2 +SOCK_SEQPACKET = 5 +SOL_KCM = 281 +__NR_getsockopt = 55 +__NR_ioctl = 16 +__NR_recvmsg = 47 +__NR_sendmsg = 46 +__NR_setsockopt = 54 +__NR_socket = 41 diff --git a/sys/socket_kcm_arm64.const b/sys/socket_kcm_arm64.const new file mode 100644 index 000000000..518eb36db --- /dev/null +++ b/sys/socket_kcm_arm64.const @@ -0,0 +1,16 @@ +# AUTOGENERATED FILE +AF_KCM = 41 +KCMPROTO_CONNECTED = 0 +KCM_RECV_DISABLE = 1 +SIOCKCMATTACH = 35296 +SIOCKCMCLONE = 35298 +SIOCKCMUNATTACH = 35297 +SOCK_DGRAM = 2 +SOCK_SEQPACKET = 5 +SOL_KCM = 281 +__NR_getsockopt = 209 +__NR_ioctl = 29 +__NR_recvmsg = 212 +__NR_sendmsg = 211 +__NR_setsockopt = 208 +__NR_socket = 198 diff --git a/sys/socket_kcm_ppc64le.const b/sys/socket_kcm_ppc64le.const new file mode 100644 index 000000000..89120128d --- /dev/null +++ b/sys/socket_kcm_ppc64le.const @@ -0,0 +1,16 @@ +# AUTOGENERATED FILE +AF_KCM = 41 +KCMPROTO_CONNECTED = 0 +KCM_RECV_DISABLE = 1 +SIOCKCMATTACH = 35296 +SIOCKCMCLONE = 35298 +SIOCKCMUNATTACH = 35297 +SOCK_DGRAM = 2 +SOCK_SEQPACKET = 5 +SOL_KCM = 281 +__NR_getsockopt = 340 +__NR_ioctl = 54 +__NR_recvmsg = 342 +__NR_sendmsg = 341 +__NR_setsockopt = 339 +__NR_socket = 326 diff --git a/sys/socket_key.txt b/sys/socket_key.txt new file mode 100644 index 000000000..1d1ab0cb0 --- /dev/null +++ b/sys/socket_key.txt @@ -0,0 +1,13 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_KEY support. + +include +include +include + +resource sock_key[sock] + +# See net/key/af_key.c, requires root. +# socket$key(domain const[AF_KEY], type const[SOCK_RAW], proto const[PF_KEY_V2]) sock_key diff --git a/sys/socket_key_amd64.const b/sys/socket_key_amd64.const new file mode 100644 index 000000000..c9328ca7e --- /dev/null +++ b/sys/socket_key_amd64.const @@ -0,0 +1 @@ +# AUTOGENERATED FILE diff --git a/sys/socket_key_arm64.const b/sys/socket_key_arm64.const new file mode 100644 index 000000000..c9328ca7e --- /dev/null +++ b/sys/socket_key_arm64.const @@ -0,0 +1 @@ +# AUTOGENERATED FILE diff --git a/sys/socket_key_ppc64le.const b/sys/socket_key_ppc64le.const new file mode 100644 index 000000000..c9328ca7e --- /dev/null +++ b/sys/socket_key_ppc64le.const @@ -0,0 +1 @@ +# AUTOGENERATED FILE diff --git a/sys/socket_netlink.txt b/sys/socket_netlink.txt new file mode 100644 index 000000000..c58807fb5 --- /dev/null +++ b/sys/socket_netlink.txt @@ -0,0 +1,73 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_NETLINK support. + +include +include + +resource sock_netlink[sock] + +socket$netlink(domain const[AF_NETLINK], type const[SOCK_RAW], proto flags[netlink_proto]) sock_netlink +bind$netlink(fd sock_netlink, addr ptr[in, sockaddr_nl], addrlen len[addr]) +connect$netlink(fd sock_netlink, addr ptr[in, sockaddr_nl], addrlen len[addr]) +getsockname$netlink(fd sock_netlink, addr ptr[out, sockaddr_nl], addrlen ptr[inout, len[addr, int32]]) +getpeername$netlink(fd sock_netlink, peer ptr[out, sockaddr_nl], peerlen ptr[inout, len[peer, int32]]) +sendmsg$netlink(fd sock_netlink, msg ptr[in, msghdr_netlink], f flags[send_flags]) +setsockopt$NETLINK_ADD_MEMBERSHIP(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_ADD_MEMBERSHIP], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETLINK_DROP_MEMBERSHIP(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_DROP_MEMBERSHIP], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETLINK_PKTINFO(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_PKTINFO], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETLINK_BROADCAST_ERROR(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_BROADCAST_ERROR], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETLINK_NO_ENOBUFS(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_NO_ENOBUFS], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETLINK_RX_RING(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_RX_RING], arg ptr[in, nl_mmap_req], arglen len[arg]) +setsockopt$NETLINK_TX_RING(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_TX_RING], arg ptr[in, nl_mmap_req], arglen len[arg]) +setsockopt$NETLINK_LISTEN_ALL_NSID(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_LISTEN_ALL_NSID], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETLINK_CAP_ACK(fd sock_netlink, level const[SOL_NETLINK], opt const[NETLINK_CAP_ACK], arg ptr[in, int32], arglen len[arg]) +getsockopt$netlink(fd sock_netlink, level const[SOL_NETLINK], opt flags[netlink_sockopts], arg buffer[out], arglen ptr[inout, len[arg, int32]]) + +netlink_family = AF_NETLINK, AF_UNSPEC +netlink_proto = NETLINK_ROUTE, NETLINK_UNUSED, NETLINK_USERSOCK, NETLINK_FIREWALL, NETLINK_SOCK_DIAG, NETLINK_NFLOG, NETLINK_XFRM, NETLINK_SELINUX, NETLINK_ISCSI, NETLINK_AUDIT, NETLINK_FIB_LOOKUP, NETLINK_CONNECTOR, NETLINK_NETFILTER, NETLINK_IP6_FW, NETLINK_DNRTMSG, NETLINK_KOBJECT_UEVENT, NETLINK_GENERIC, NETLINK_SCSITRANSPORT, NETLINK_ECRYPTFS, NETLINK_RDMA, NETLINK_CRYPTO, NETLINK_INET_DIAG +netlink_sockopts = NETLINK_ADD_MEMBERSHIP, NETLINK_DROP_MEMBERSHIP, NETLINK_PKTINFO, NETLINK_BROADCAST_ERROR, NETLINK_NO_ENOBUFS, NETLINK_RX_RING, NETLINK_TX_RING, NETLINK_LISTEN_ALL_NSID, NETLINK_LIST_MEMBERSHIPS, NETLINK_CAP_ACK +netlink_msg_flags = NLM_F_REQUEST, NLM_F_MULTI, NLM_F_ACK, NLM_F_ECHO, NLM_F_DUMP_INTR, NLM_F_DUMP_FILTERED, NLM_F_ROOT, NLM_F_MATCH, NLM_F_ATOMIC, NLM_F_DUMP, NLM_F_REPLACE, NLM_F_EXCL, NLM_F_CREATE, NLM_F_APPEND + +sockaddr_nl { + family flags[netlink_family, int16] + pad const[0, int16] + pid int32 + groups int32 +} + +msghdr_netlink { + addr ptr[in, sockaddr_nl, opt] + addrlen len[addr, int32] + vec ptr[in, array[iovec_nl]] + vlen len[vec, intptr] + ctrl ptr[in, array[cmsghdr_un], opt] + ctrllen len[ctrl, intptr] + f flags[send_flags, int32] +} + +iovec_nl { + data ptr[in, array[netlink_msg]] + len bytesize[data, intptr] +} + +netlink_msg { + len len[parent, int32] + type int16 + flags flags[netlink_msg_flags, int16] + seq int32 + pid int32 + data array[int8] +} + +nl_mmap_req { + bsize int32 + bnumber int32 + fsize int32 + fnumber int32 +} + +# Removed (if __KERNEL__ defined) in next-20160229 (commit d1b4c689) +define NETLINK_RX_RING 6 +define NETLINK_TX_RING 7 diff --git a/sys/socket_netlink_amd64.const b/sys/socket_netlink_amd64.const new file mode 100644 index 000000000..bd9793acd --- /dev/null +++ b/sys/socket_netlink_amd64.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +AF_NETLINK = 16 +AF_UNSPEC = 0 +NETLINK_ADD_MEMBERSHIP = 1 +NETLINK_AUDIT = 9 +NETLINK_BROADCAST_ERROR = 4 +NETLINK_CAP_ACK = 10 +NETLINK_CONNECTOR = 11 +NETLINK_CRYPTO = 21 +NETLINK_DNRTMSG = 14 +NETLINK_DROP_MEMBERSHIP = 2 +NETLINK_ECRYPTFS = 19 +NETLINK_FIB_LOOKUP = 10 +NETLINK_FIREWALL = 3 +NETLINK_GENERIC = 16 +NETLINK_INET_DIAG = 4 +NETLINK_IP6_FW = 13 +NETLINK_ISCSI = 8 +NETLINK_KOBJECT_UEVENT = 15 +NETLINK_LISTEN_ALL_NSID = 8 +NETLINK_LIST_MEMBERSHIPS = 9 +NETLINK_NETFILTER = 12 +NETLINK_NFLOG = 5 +NETLINK_NO_ENOBUFS = 5 +NETLINK_PKTINFO = 3 +NETLINK_RDMA = 20 +NETLINK_ROUTE = 0 +NETLINK_RX_RING = 6 +NETLINK_SCSITRANSPORT = 18 +NETLINK_SELINUX = 7 +NETLINK_SOCK_DIAG = 4 +NETLINK_TX_RING = 7 +NETLINK_UNUSED = 1 +NETLINK_USERSOCK = 2 +NETLINK_XFRM = 6 +NLM_F_ACK = 4 +NLM_F_APPEND = 2048 +NLM_F_ATOMIC = 1024 +NLM_F_CREATE = 1024 +NLM_F_DUMP = 768 +NLM_F_DUMP_FILTERED = 32 +NLM_F_DUMP_INTR = 16 +NLM_F_ECHO = 8 +NLM_F_EXCL = 512 +NLM_F_MATCH = 512 +NLM_F_MULTI = 2 +NLM_F_REPLACE = 256 +NLM_F_REQUEST = 1 +NLM_F_ROOT = 256 +SOCK_RAW = 3 +SOL_NETLINK = 270 +__NR_bind = 49 +__NR_connect = 42 +__NR_getpeername = 52 +__NR_getsockname = 51 +__NR_getsockopt = 55 +__NR_sendmsg = 46 +__NR_setsockopt = 54 +__NR_socket = 41 diff --git a/sys/socket_netlink_arm64.const b/sys/socket_netlink_arm64.const new file mode 100644 index 000000000..6e21dcae1 --- /dev/null +++ b/sys/socket_netlink_arm64.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +AF_NETLINK = 16 +AF_UNSPEC = 0 +NETLINK_ADD_MEMBERSHIP = 1 +NETLINK_AUDIT = 9 +NETLINK_BROADCAST_ERROR = 4 +NETLINK_CAP_ACK = 10 +NETLINK_CONNECTOR = 11 +NETLINK_CRYPTO = 21 +NETLINK_DNRTMSG = 14 +NETLINK_DROP_MEMBERSHIP = 2 +NETLINK_ECRYPTFS = 19 +NETLINK_FIB_LOOKUP = 10 +NETLINK_FIREWALL = 3 +NETLINK_GENERIC = 16 +NETLINK_INET_DIAG = 4 +NETLINK_IP6_FW = 13 +NETLINK_ISCSI = 8 +NETLINK_KOBJECT_UEVENT = 15 +NETLINK_LISTEN_ALL_NSID = 8 +NETLINK_LIST_MEMBERSHIPS = 9 +NETLINK_NETFILTER = 12 +NETLINK_NFLOG = 5 +NETLINK_NO_ENOBUFS = 5 +NETLINK_PKTINFO = 3 +NETLINK_RDMA = 20 +NETLINK_ROUTE = 0 +NETLINK_RX_RING = 6 +NETLINK_SCSITRANSPORT = 18 +NETLINK_SELINUX = 7 +NETLINK_SOCK_DIAG = 4 +NETLINK_TX_RING = 7 +NETLINK_UNUSED = 1 +NETLINK_USERSOCK = 2 +NETLINK_XFRM = 6 +NLM_F_ACK = 4 +NLM_F_APPEND = 2048 +NLM_F_ATOMIC = 1024 +NLM_F_CREATE = 1024 +NLM_F_DUMP = 768 +NLM_F_DUMP_FILTERED = 32 +NLM_F_DUMP_INTR = 16 +NLM_F_ECHO = 8 +NLM_F_EXCL = 512 +NLM_F_MATCH = 512 +NLM_F_MULTI = 2 +NLM_F_REPLACE = 256 +NLM_F_REQUEST = 1 +NLM_F_ROOT = 256 +SOCK_RAW = 3 +SOL_NETLINK = 270 +__NR_bind = 200 +__NR_connect = 203 +__NR_getpeername = 205 +__NR_getsockname = 204 +__NR_getsockopt = 209 +__NR_sendmsg = 211 +__NR_setsockopt = 208 +__NR_socket = 198 diff --git a/sys/socket_netlink_ppc64le.const b/sys/socket_netlink_ppc64le.const new file mode 100644 index 000000000..dd73dbd3e --- /dev/null +++ b/sys/socket_netlink_ppc64le.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +AF_NETLINK = 16 +AF_UNSPEC = 0 +NETLINK_ADD_MEMBERSHIP = 1 +NETLINK_AUDIT = 9 +NETLINK_BROADCAST_ERROR = 4 +NETLINK_CAP_ACK = 10 +NETLINK_CONNECTOR = 11 +NETLINK_CRYPTO = 21 +NETLINK_DNRTMSG = 14 +NETLINK_DROP_MEMBERSHIP = 2 +NETLINK_ECRYPTFS = 19 +NETLINK_FIB_LOOKUP = 10 +NETLINK_FIREWALL = 3 +NETLINK_GENERIC = 16 +NETLINK_INET_DIAG = 4 +NETLINK_IP6_FW = 13 +NETLINK_ISCSI = 8 +NETLINK_KOBJECT_UEVENT = 15 +NETLINK_LISTEN_ALL_NSID = 8 +NETLINK_LIST_MEMBERSHIPS = 9 +NETLINK_NETFILTER = 12 +NETLINK_NFLOG = 5 +NETLINK_NO_ENOBUFS = 5 +NETLINK_PKTINFO = 3 +NETLINK_RDMA = 20 +NETLINK_ROUTE = 0 +NETLINK_RX_RING = 6 +NETLINK_SCSITRANSPORT = 18 +NETLINK_SELINUX = 7 +NETLINK_SOCK_DIAG = 4 +NETLINK_TX_RING = 7 +NETLINK_UNUSED = 1 +NETLINK_USERSOCK = 2 +NETLINK_XFRM = 6 +NLM_F_ACK = 4 +NLM_F_APPEND = 2048 +NLM_F_ATOMIC = 1024 +NLM_F_CREATE = 1024 +NLM_F_DUMP = 768 +NLM_F_DUMP_FILTERED = 32 +NLM_F_DUMP_INTR = 16 +NLM_F_ECHO = 8 +NLM_F_EXCL = 512 +NLM_F_MATCH = 512 +NLM_F_MULTI = 2 +NLM_F_REPLACE = 256 +NLM_F_REQUEST = 1 +NLM_F_ROOT = 256 +SOCK_RAW = 3 +SOL_NETLINK = 270 +__NR_bind = 327 +__NR_connect = 328 +__NR_getpeername = 332 +__NR_getsockname = 331 +__NR_getsockopt = 340 +__NR_sendmsg = 341 +__NR_setsockopt = 339 +__NR_socket = 326 diff --git a/sys/socket_netrom.txt b/sys/socket_netrom.txt new file mode 100755 index 000000000..d346e85d0 --- /dev/null +++ b/sys/socket_netrom.txt @@ -0,0 +1,66 @@ +# Copyright 2016 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include +include +include + +resource sock_netrom[sock] + +socket$netrom(domain const[AF_NETROM], type const[SOCK_SEQPACKET], proto const[0]) sock_netrom +bind$netrom(fd sock_netrom, addr ptr[in, sockaddr_netrom], addrlen len[addr]) +connect$netrom(fd sock_netrom, addr ptr[in, sockaddr_netrom], addrlen len[addr]) +accept$netrom(fd sock_netrom, peer ptr[out, sockaddr_netrom, opt], peerlen ptr[inout, len[peer, int32]]) sock_netrom +listen$netrom(fd sock_netrom, backlog int32) +sendmsg$netrom(fd sock_netrom, msg ptr[in, msghdr_netrom], f flags[send_flags]) +recvmsg$netrom(fd sock_netrom, msg ptr[in, msghdr_netrom], f flags[recv_flags]) +getsockname$netrom(fd sock_netrom, addr ptr[out, sockaddr_netrom], addrlen ptr[inout, len[addr, int32]]) +getpeername$netrom(fd sock_netrom, peer ptr[out, sockaddr_netrom], peerlen ptr[inout, len[peer, int32]]) + +setsockopt$NETROM_T1(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T1], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETROM_T2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T2], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETROM_N2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_N2], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETROM_T4(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T4], arg ptr[in, int32], arglen len[arg]) +setsockopt$NETROM_IDLE(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_IDLE], arg ptr[in, int32], arglen len[arg]) + +getsockopt$NETROM_T1(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T1], arg ptr[out, int32], arglen ptr[inout, len[arg, int32]]) +getsockopt$NETROM_T2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T2], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) +getsockopt$NETROM_N2(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_N2], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) +getsockopt$NETROM_T4(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_T4], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) +getsockopt$NETROM_IDLE(fd sock_netrom, level const[SOL_NETROM], opt const[NETROM_IDLE], arg ptr[in, int32], arglen ptr[inout, len[arg, int32]]) + +ioctl$NETROM_TIOCOUTQ(fd sock_netrom, cmd const[TIOCOUTQ], arg ptr[out, int32]) +ioctl$NETROM_TIOCINQ(fd sock_netrom, cmd const[TIOCINQ], arg ptr[out, int32]) +ioctl$NETROM_SIOCGSTAMP(fd sock_netrom, cmd const[SIOCGSTAMP], arg ptr[out, int32]) +ioctl$NETROM_SIOCGSTAMPNS(fd sock_netrom, cmd const[SIOCGSTAMPNS], arg ptr[out, int32]) +ioctl$NETROM_SIOCADDRT(fd sock_netrom, cmd const[SIOCADDRT], arg ptr[out, int32]) + +ax25_address { + call array[int8, 7] +} + +sockaddr_ax25 { + family const[AF_NETROM, int16] + call ax25_address + ndigis int32 +} + +full_sockaddr_ax25 { + ax25 sockaddr_ax25 + dig array[ax25_address, AX25_MAX_DIGIS] +} + +sockaddr_netrom [ + ax25 sockaddr_ax25 + full full_sockaddr_ax25 +] [varlen] + +msghdr_netrom { + addr ptr[in, sockaddr_netrom] + addrlen len[addr, int32] + vec ptr[in, array[iovec_in]] + vlen len[vec, intptr] + ctrl ptr[in, array[cmsghdr], opt] + ctrllen len[ctrl, intptr] + f flags[send_flags, int32] +} diff --git a/sys/socket_netrom_amd64.const b/sys/socket_netrom_amd64.const new file mode 100644 index 000000000..2474fe63f --- /dev/null +++ b/sys/socket_netrom_amd64.const @@ -0,0 +1,27 @@ +# AUTOGENERATED FILE +AF_NETROM = 6 +AX25_MAX_DIGIS = 8 +NETROM_IDLE = 7 +NETROM_N2 = 3 +NETROM_T1 = 1 +NETROM_T2 = 2 +NETROM_T4 = 6 +SIOCADDRT = 35083 +SIOCGSTAMP = 35078 +SIOCGSTAMPNS = 35079 +SOCK_SEQPACKET = 5 +SOL_NETROM = 259 +TIOCINQ = 21531 +TIOCOUTQ = 21521 +__NR_accept = 43 +__NR_bind = 49 +__NR_connect = 42 +__NR_getpeername = 52 +__NR_getsockname = 51 +__NR_getsockopt = 55 +__NR_ioctl = 16 +__NR_listen = 50 +__NR_recvmsg = 47 +__NR_sendmsg = 46 +__NR_setsockopt = 54 +__NR_socket = 41 diff --git a/sys/socket_netrom_arm64.const b/sys/socket_netrom_arm64.const new file mode 100644 index 000000000..1ecee7cdc --- /dev/null +++ b/sys/socket_netrom_arm64.const @@ -0,0 +1,27 @@ +# AUTOGENERATED FILE +AF_NETROM = 6 +AX25_MAX_DIGIS = 8 +NETROM_IDLE = 7 +NETROM_N2 = 3 +NETROM_T1 = 1 +NETROM_T2 = 2 +NETROM_T4 = 6 +SIOCADDRT = 35083 +SIOCGSTAMP = 35078 +SIOCGSTAMPNS = 35079 +SOCK_SEQPACKET = 5 +SOL_NETROM = 259 +TIOCINQ = 21531 +TIOCOUTQ = 21521 +__NR_accept = 202 +__NR_bind = 200 +__NR_connect = 203 +__NR_getpeername = 205 +__NR_getsockname = 204 +__NR_getsockopt = 209 +__NR_ioctl = 29 +__NR_listen = 201 +__NR_recvmsg = 212 +__NR_sendmsg = 211 +__NR_setsockopt = 208 +__NR_socket = 198 diff --git a/sys/socket_netrom_ppc64le.const b/sys/socket_netrom_ppc64le.const new file mode 100644 index 000000000..322abdf38 --- /dev/null +++ b/sys/socket_netrom_ppc64le.const @@ -0,0 +1,27 @@ +# AUTOGENERATED FILE +AF_NETROM = 6 +AX25_MAX_DIGIS = 8 +NETROM_IDLE = 7 +NETROM_N2 = 3 +NETROM_T1 = 1 +NETROM_T2 = 2 +NETROM_T4 = 6 +SIOCADDRT = 35083 +SIOCGSTAMP = 35078 +SIOCGSTAMPNS = 35079 +SOCK_SEQPACKET = 5 +SOL_NETROM = 259 +TIOCINQ = 1074030207 +TIOCOUTQ = 1074033779 +__NR_accept = 330 +__NR_bind = 327 +__NR_connect = 328 +__NR_getpeername = 332 +__NR_getsockname = 331 +__NR_getsockopt = 340 +__NR_ioctl = 54 +__NR_listen = 329 +__NR_recvmsg = 342 +__NR_sendmsg = 341 +__NR_setsockopt = 339 +__NR_socket = 326 diff --git a/sys/socket_nfc.txt b/sys/socket_nfc.txt new file mode 100644 index 000000000..db388f49e --- /dev/null +++ b/sys/socket_nfc.txt @@ -0,0 +1,58 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_NFC support. + +include +include +include + +resource sock_nfc_llcp[sock] + +socket$nfc_llcp(domain const[AF_NFC], type flags[nfc_llcp_type], proto const[NFC_SOCKPROTO_LLCP]) sock_nfc_llcp +bind$nfc_llcp(fd sock_nfc_llcp, addr ptr[in, sockaddr_nfc_llcp], addrlen len[addr]) +connect$nfc_llcp(fd sock_nfc_llcp, addr ptr[in, sockaddr_nfc_llcp], addrlen len[addr]) +accept$nfc_llcp(fd sock_nfc_llcp, peer ptr[out, sockaddr_nfc_llcp, opt], peerlen ptr[inout, len[peer, int32]]) sock_nfc_llcp +setsockopt$NFC_LLCP_RW(fd sock_nfc_llcp, level const[SOL_NFC], opt const[NFC_LLCP_RW], arg ptr[in, int32], arglen len[arg]) +setsockopt$NFC_LLCP_MIUX(fd sock_nfc_llcp, level const[SOL_NFC], opt const[NFC_LLCP_MIUX], arg ptr[in, int32], arglen len[arg]) +getsockopt$nfc_llcp(fd sock_nfc_llcp, level const[SOL_NFC], opt flags[nfc_llcp_opts], arg buffer[out], arglen len[arg]) +sendmsg$nfc_llcp(fd sock_nfc_llcp, msg ptr[in, nfc_llcp_send_msghdr], f flags[send_flags]) +sendmmsg$nfc_llcp(fd sock_nfc_llcp, mmsg ptr[in, array[nfc_llcp_send_msghdr]], vlen len[mmsg], f flags[send_flags]) + +resource sock_nfc_raw[sock] + +socket$nfc_raw(domain const[AF_NFC], type flags[nfc_raw_type], proto const[NFC_SOCKPROTO_RAW]) sock_nfc_raw +connect$nfc_raw(fd sock_nfc_raw, addr ptr[in, sockaddr_nfc], addrlen len[addr]) + +nfc_llcp_type = SOCK_STREAM, SOCK_DGRAM, SOCK_RAW +nfc_raw_type = SOCK_STREAM, SOCK_RAW +nfc_proto = NFC_PROTO_JEWEL, NFC_PROTO_MIFARE, NFC_PROTO_FELICA, NFC_PROTO_ISO14443, NFC_PROTO_NFC_DEP, NFC_PROTO_ISO14443_B, NFC_PROTO_ISO15693 +nfc_llcp_opts = NFC_LLCP_RW, NFC_LLCP_MIUX, NFC_LLCP_REMOTE_MIU, NFC_LLCP_REMOTE_LTO, NFC_LLCP_REMOTE_RW + +sockaddr_nfc_llcp { + family const[AF_NFC, int16] + devidx int32 + target int32 + proto flags[nfc_proto, int32] + dsap int8 + ssap int8 + serv array[int8, 63] + servlen intptr +} + +sockaddr_nfc { + family const[AF_NFC, int16] + dev int32 + targ int32 + proto flags[nfc_proto, int32] +} + +nfc_llcp_send_msghdr { + addr ptr[in, sockaddr_nfc_llcp] + addrlen len[addr, int32] + vec ptr[in, array[iovec_in]] + vlen len[vec, intptr] + ctrl ptr[in, cmsghdr] + ctrllen len[ctrl, intptr] + f flags[send_flags, int32] +} diff --git a/sys/socket_nfc_amd64.const b/sys/socket_nfc_amd64.const new file mode 100644 index 000000000..a3957eb8d --- /dev/null +++ b/sys/socket_nfc_amd64.const @@ -0,0 +1,28 @@ +# AUTOGENERATED FILE +AF_NFC = 39 +NFC_LLCP_MIUX = 1 +NFC_LLCP_REMOTE_LTO = 3 +NFC_LLCP_REMOTE_MIU = 2 +NFC_LLCP_REMOTE_RW = 4 +NFC_LLCP_RW = 0 +NFC_PROTO_FELICA = 3 +NFC_PROTO_ISO14443 = 4 +NFC_PROTO_ISO14443_B = 6 +NFC_PROTO_ISO15693 = 7 +NFC_PROTO_JEWEL = 1 +NFC_PROTO_MIFARE = 2 +NFC_PROTO_NFC_DEP = 5 +NFC_SOCKPROTO_LLCP = 1 +NFC_SOCKPROTO_RAW = 0 +SOCK_DGRAM = 2 +SOCK_RAW = 3 +SOCK_STREAM = 1 +SOL_NFC = 280 +__NR_accept = 43 +__NR_bind = 49 +__NR_connect = 42 +__NR_getsockopt = 55 +__NR_sendmmsg = 307 +__NR_sendmsg = 46 +__NR_setsockopt = 54 +__NR_socket = 41 diff --git a/sys/socket_nfc_arm64.const b/sys/socket_nfc_arm64.const new file mode 100644 index 000000000..72a209079 --- /dev/null +++ b/sys/socket_nfc_arm64.const @@ -0,0 +1,28 @@ +# AUTOGENERATED FILE +AF_NFC = 39 +NFC_LLCP_MIUX = 1 +NFC_LLCP_REMOTE_LTO = 3 +NFC_LLCP_REMOTE_MIU = 2 +NFC_LLCP_REMOTE_RW = 4 +NFC_LLCP_RW = 0 +NFC_PROTO_FELICA = 3 +NFC_PROTO_ISO14443 = 4 +NFC_PROTO_ISO14443_B = 6 +NFC_PROTO_ISO15693 = 7 +NFC_PROTO_JEWEL = 1 +NFC_PROTO_MIFARE = 2 +NFC_PROTO_NFC_DEP = 5 +NFC_SOCKPROTO_LLCP = 1 +NFC_SOCKPROTO_RAW = 0 +SOCK_DGRAM = 2 +SOCK_RAW = 3 +SOCK_STREAM = 1 +SOL_NFC = 280 +__NR_accept = 202 +__NR_bind = 200 +__NR_connect = 203 +__NR_getsockopt = 209 +__NR_sendmmsg = 269 +__NR_sendmsg = 211 +__NR_setsockopt = 208 +__NR_socket = 198 diff --git a/sys/socket_nfc_ppc64le.const b/sys/socket_nfc_ppc64le.const new file mode 100644 index 000000000..dcd7dfe1e --- /dev/null +++ b/sys/socket_nfc_ppc64le.const @@ -0,0 +1,28 @@ +# AUTOGENERATED FILE +AF_NFC = 39 +NFC_LLCP_MIUX = 1 +NFC_LLCP_REMOTE_LTO = 3 +NFC_LLCP_REMOTE_MIU = 2 +NFC_LLCP_REMOTE_RW = 4 +NFC_LLCP_RW = 0 +NFC_PROTO_FELICA = 3 +NFC_PROTO_ISO14443 = 4 +NFC_PROTO_ISO14443_B = 6 +NFC_PROTO_ISO15693 = 7 +NFC_PROTO_JEWEL = 1 +NFC_PROTO_MIFARE = 2 +NFC_PROTO_NFC_DEP = 5 +NFC_SOCKPROTO_LLCP = 1 +NFC_SOCKPROTO_RAW = 0 +SOCK_DGRAM = 2 +SOCK_RAW = 3 +SOCK_STREAM = 1 +SOL_NFC = 280 +__NR_accept = 330 +__NR_bind = 327 +__NR_connect = 328 +__NR_getsockopt = 340 +__NR_sendmmsg = 349 +__NR_sendmsg = 341 +__NR_setsockopt = 339 +__NR_socket = 326 diff --git a/sys/socket_ppc64le.const b/sys/socket_ppc64le.const index 813d52854..f563a1729 100644 --- a/sys/socket_ppc64le.const +++ b/sys/socket_ppc64le.const @@ -1,188 +1,14 @@ # AUTOGENERATED FILE -AF_ALG = 38 AF_APPLETALK = 5 AF_ATMPVC = 8 AF_AX25 = 3 -AF_BLUETOOTH = 31 AF_INET = 2 AF_INET6 = 10 AF_IPX = 4 AF_NETLINK = 16 -AF_NFC = 39 AF_PACKET = 17 AF_UNIX = 1 -AF_UNSPEC = 0 AF_X25 = 9 -ALG_SET_AEAD_ASSOCLEN = 4 -ALG_SET_AEAD_AUTHSIZE = 5 -ALG_SET_IV = 2 -ALG_SET_KEY = 1 -ALG_SET_OP = 3 -BNEPCONNADD = 2147762888 -BNEPCONNDEL = 2147762889 -BNEPGETCONNINFO = 1074021075 -BNEPGETCONNLIST = 1074021074 -BNEPGETSUPPFEAT = 1074021076 -BTPROTO_BNEP = 4 -BTPROTO_CMTP = 5 -BTPROTO_HCI = 1 -BTPROTO_HIDP = 6 -BTPROTO_L2CAP = 0 -BTPROTO_RFCOMM = 3 -BTPROTO_SCO = 2 -BT_CHANNEL_POLICY = 10 -BT_DEFER_SETUP = 7 -BT_FLUSHABLE = 8 -BT_POWER = 9 -BT_RCVMTU = 13 -BT_SECURITY = 4 -BT_SNDMTU = 12 -BT_VOICE = 11 -CMTPCONNADD = 2147763144 -CMTPCONNDEL = 2147763145 -CMTPGETCONNINFO = 1074021331 -CMTPGETCONNLIST = 1074021330 -CRYPTO_ALG_ASYNC = 128 -CRYPTO_ALG_DEAD = 32 -CRYPTO_ALG_DYING = 64 -CRYPTO_ALG_GENIV = 512 -CRYPTO_ALG_INSTANCE = 2048 -CRYPTO_ALG_INTERNAL = 8192 -CRYPTO_ALG_KERN_DRIVER_ONLY = 4096 -CRYPTO_ALG_LARVAL = 16 -CRYPTO_ALG_NEED_FALLBACK = 256 -CRYPTO_ALG_TESTED = 1024 -CRYPTO_ALG_TYPE_ABLKCIPHER = 5 -CRYPTO_ALG_TYPE_AEAD = 3 -CRYPTO_ALG_TYPE_AHASH = 15 -CRYPTO_ALG_TYPE_AKCIPHER = 13 -CRYPTO_ALG_TYPE_BLKCIPHER = 4 -CRYPTO_ALG_TYPE_CIPHER = 1 -CRYPTO_ALG_TYPE_COMPRESS = 2 -CRYPTO_ALG_TYPE_DIGEST = 14 -CRYPTO_ALG_TYPE_GIVCIPHER = 6 -CRYPTO_ALG_TYPE_HASH = 14 -CRYPTO_ALG_TYPE_MASK = 15 -CRYPTO_ALG_TYPE_PCOMPRESS = 15 -CRYPTO_ALG_TYPE_RNG = 12 -CRYPTO_ALG_TYPE_SHASH = 14 -HCIBLOCKADDR = 2147764454 -HCIDEVDOWN = 2147764426 -HCIDEVRESET = 2147764427 -HCIDEVRESTAT = 2147764428 -HCIDEVUP = 2147764425 -HCIGETAUTHINFO = 1074022615 -HCIGETCONNINFO = 1074022613 -HCIGETCONNLIST = 1074022612 -HCIGETDEVINFO = 1074022611 -HCIGETDEVLIST = 1074022610 -HCIINQUIRY = 1074022640 -HCISETACLMTU = 2147764451 -HCISETAUTH = 2147764446 -HCISETENCRYPT = 2147764447 -HCISETLINKMODE = 2147764450 -HCISETLINKPOL = 2147764449 -HCISETPTYPE = 2147764448 -HCISETRAW = 2147764444 -HCISETSCAN = 2147764445 -HCISETSCOMTU = 2147764452 -HCIUNBLOCKADDR = 2147764455 -HCI_CHANNEL_CONTROL = 3 -HCI_CHANNEL_MONITOR = 2 -HCI_CHANNEL_RAW = 0 -HCI_CHANNEL_USER = 1 -HCI_DATA_DIR = 1 -HCI_FILTER = 2 -HCI_TIME_STAMP = 3 -HIDPCONNADD = 2147764424 -HIDPCONNDEL = 2147764425 -HIDPGETCONNINFO = 1074022611 -HIDPGETCONNLIST = 1074022610 -IPPROTO_ICMP = 1 -IPPROTO_IP = 0 -IPPROTO_IPV6 = 41 -IPPROTO_TCP = 6 -IPPROTO_UDP = 17 -IPV6_2292DSTOPTS = 4 -IPV6_2292HOPLIMIT = 8 -IPV6_2292HOPOPTS = 3 -IPV6_2292PKTINFO = 2 -IPV6_2292PKTOPTIONS = 6 -IPV6_2292RTHDR = 5 -IPV6_ADDRFORM = 1 -IPV6_ADD_MEMBERSHIP = 20 -IPV6_AUTHHDR = 10 -IPV6_CHECKSUM = 7 -IPV6_DROP_MEMBERSHIP = 21 -IPV6_DSTOPTS = 59 -IPV6_FLOWINFO = 11 -IPV6_HOPLIMIT = 52 -IPV6_HOPOPTS = 54 -IPV6_JOIN_ANYCAST = 27 -IPV6_LEAVE_ANYCAST = 28 -IPV6_MTU = 24 -IPV6_MTU_DISCOVER = 23 -IPV6_MULTICAST_HOPS = 18 -IPV6_MULTICAST_IF = 17 -IPV6_MULTICAST_LOOP = 19 -IPV6_RECVERR = 25 -IPV6_RECVPKTINFO = 49 -IPV6_ROUTER_ALERT = 22 -IPV6_RTHDR = 57 -IPV6_UNICAST_HOPS = 16 -IPV6_V6ONLY = 26 -IP_ADD_MEMBERSHIP = 35 -IP_ADD_SOURCE_MEMBERSHIP = 39 -IP_BIND_ADDRESS_NO_PORT = 24 -IP_BLOCK_SOURCE = 38 -IP_CHECKSUM = 23 -IP_DROP_MEMBERSHIP = 36 -IP_DROP_SOURCE_MEMBERSHIP = 40 -IP_FREEBIND = 15 -IP_HDRINCL = 3 -IP_IPSEC_POLICY = 16 -IP_MINTTL = 21 -IP_MSFILTER = 41 -IP_MTU = 14 -IP_MTU_DISCOVER = 10 -IP_MULTICAST_ALL = 49 -IP_MULTICAST_IF = 32 -IP_MULTICAST_LOOP = 34 -IP_MULTICAST_TTL = 33 -IP_NODEFRAG = 22 -IP_OPTIONS = 4 -IP_PASSSEC = 18 -IP_PKTINFO = 8 -IP_PKTOPTIONS = 9 -IP_PMTUDISC_DO = 2 -IP_PMTUDISC_DONT = 0 -IP_PMTUDISC_INTERFACE = 4 -IP_PMTUDISC_OMIT = 5 -IP_PMTUDISC_PROBE = 3 -IP_PMTUDISC_WANT = 1 -IP_RECVERR = 11 -IP_RECVOPTS = 6 -IP_RECVORIGDSTADDR = 20 -IP_RECVTOS = 13 -IP_RECVTTL = 12 -IP_RETOPTS = 7 -IP_ROUTER_ALERT = 5 -IP_TOS = 1 -IP_TRANSPARENT = 19 -IP_TTL = 2 -IP_UNBLOCK_SOURCE = 37 -L2CAP_CONNINFO = 2 -L2CAP_LM = 3 -L2CAP_LM_AUTH = 2 -L2CAP_LM_ENCRYPT = 4 -L2CAP_LM_FIPS = 64 -L2CAP_LM_MASTER = 1 -L2CAP_LM_RELIABLE = 16 -L2CAP_LM_SECURE = 32 -L2CAP_LM_TRUSTED = 8 -L2CAP_OPTIONS = 1 -MCAST_EXCLUDE = 0 -MCAST_INCLUDE = 1 MSG_BATCH = 262144 MSG_CMSG_CLOEXEC = 1073741824 MSG_CONFIRM = 2048 @@ -199,30 +25,8 @@ MSG_PROBE = 16 MSG_TRUNC = 32 MSG_WAITALL = 256 MSG_WAITFORONE = 65536 -NFC_LLCP_MIUX = 1 -NFC_LLCP_REMOTE_LTO = 3 -NFC_LLCP_REMOTE_MIU = 2 -NFC_LLCP_REMOTE_RW = 4 -NFC_LLCP_RW = 0 -NFC_PROTO_FELICA = 3 -NFC_PROTO_ISO14443 = 4 -NFC_PROTO_ISO14443_B = 6 -NFC_PROTO_ISO15693 = 7 -NFC_PROTO_JEWEL = 1 -NFC_PROTO_MIFARE = 2 -NFC_PROTO_NFC_DEP = 5 -NFC_SOCKPROTO_LLCP = 1 -NFC_SOCKPROTO_RAW = 0 -RFCOMM_CONNINFO = 2 -RFCOMM_LM = 3 -SCM_CREDENTIALS = 2 -SCM_RIGHTS = 1 -SCO_CONNINFO = 2 -SCO_OPTIONS = 1 SHUT_RD = 0 SHUT_WR = 1 -SIOCGSTAMP = 35078 -SIOCGSTAMPNS = 35079 SIOCINQ = 1074030207 SIOCOUTQ = 1074033779 SOCK_CLOEXEC = 524288 @@ -245,43 +49,7 @@ 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_L2CAP = 6 -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_RFCOMM = 18 -SOL_ROSE = 260 -SOL_RXRPC = 272 -SOL_SCO = 17 -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 @@ -327,21 +95,6 @@ SO_TIMESTAMPING = 37 SO_TIMESTAMPNS = 35 SO_TYPE = 3 SO_WIFI_STATUS = 41 -TCP_CORK = 3 -TCP_DEFER_ACCEPT = 9 -TCP_INFO = 11 -TCP_KEEPCNT = 6 -TCP_KEEPIDLE = 4 -TCP_KEEPINTVL = 5 -TCP_LINGER2 = 8 -TCP_MAXSEG = 2 -TCP_NODELAY = 1 -TCP_QUICKACK = 12 -TCP_SYNCNT = 7 -TCP_WINDOW_CLAMP = 10 -TIOCINQ = 1074030207 -TIOCOUTQ = 1074033779 -UDP_CORK = 1 __NR_accept = 330 __NR_accept4 = 344 __NR_bind = 327 diff --git a/sys/socket_unix.txt b/sys/socket_unix.txt new file mode 100644 index 000000000..b5eed9483 --- /dev/null +++ b/sys/socket_unix.txt @@ -0,0 +1,78 @@ +# Copyright 2017 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# AF_UNIX support. + +include +include + +resource sock_unix[sock] + +socket$unix(domain const[AF_UNIX], type flags[unix_socket_type], proto const[0]) sock_unix +socketpair$unix(domain const[AF_UNIX], type flags[unix_socket_type], proto const[0], fds ptr[out, unix_pair]) +bind$unix(fd sock_unix, addr ptr[in, sockaddr_un], addrlen len[addr]) +connect$unix(fd sock_unix, addr ptr[in, sockaddr_un], addrlen len[addr]) +accept$unix(fd sock_unix, peer ptr[out, sockaddr_un, opt], peerlen ptr[inout, len[peer, int32]]) sock_unix +accept4$unix(fd sock_unix, peer ptr[out, sockaddr_un, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_unix + +sendto$unix(fd sock_unix, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_un, opt], addrlen len[addr]) +sendmsg$unix(fd sock_unix, msg ptr[in, msghdr_un], f flags[send_flags]) +sendmmsg$unix(fd sock_unix, mmsg ptr[in, array[msghdr_un]], vlen len[mmsg], f flags[send_flags]) +recvfrom$unix(fd sock_unix, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_un, opt], addrlen len[addr]) +getsockname$unix(fd sock_unix, addr ptr[out, sockaddr_un], addrlen ptr[inout, len[addr, int32]]) +getpeername$unix(fd sock_unix, peer ptr[out, sockaddr_un], peerlen ptr[inout, len[peer, int32]]) + +unix_socket_type = SOCK_STREAM, SOCK_DGRAM, SOCK_SEQPACKET +unix_socket_family = AF_UNIX, AF_UNSPEC + +unix_pair { + fd0 sock_unix + fd1 sock_unix +} + +sockaddr_un [ + file sockaddr_un_file + abs sockaddr_un_abstract +] [varlen] + +sockaddr_un_file { + family flags[unix_socket_family, int16] + path filename +} [packed] + +sockaddr_un_abstract { + family flags[unix_socket_family, int16] + ind const[0, int8] + id proc[int32, 20000, 4] +} + +msghdr_un { + addr ptr[in, sockaddr_un] + addrlen len[addr, int32] + vec ptr[in, array[iovec_in]] + vlen len[vec, intptr] + ctrl ptr[in, array[cmsghdr_un], opt] + ctrllen len[ctrl, intptr] + f flags[send_flags, int32] +} + +cmsghdr_un [ + rights cmsghdr_un_rights + cred cmsghdr_un_cred +] [varlen] + +cmsghdr_un_rights { + len len[parent, intptr] + level const[SOL_SOCKET, int32] + type const[SCM_RIGHTS, int32] + fds array[fd] +} [align_ptr] + +cmsghdr_un_cred { + len len[parent, intptr] + level const[SOL_SOCKET, int32] + type const[SCM_CREDENTIALS, int32] + pid pid + uid uid + gid gid +} [align_ptr] diff --git a/sys/socket_unix_amd64.const b/sys/socket_unix_amd64.const new file mode 100644 index 000000000..d629748ca --- /dev/null +++ b/sys/socket_unix_amd64.const @@ -0,0 +1,21 @@ +# AUTOGENERATED FILE +AF_UNIX = 1 +AF_UNSPEC = 0 +SCM_CREDENTIALS = 2 +SCM_RIGHTS = 1 +SOCK_DGRAM = 2 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_SOCKET = 1 +__NR_accept = 43 +__NR_accept4 = 288 +__NR_bind = 49 +__NR_connect = 42 +__NR_getpeername = 52 +__NR_getsockname = 51 +__NR_recvfrom = 45 +__NR_sendmmsg = 307 +__NR_sendmsg = 46 +__NR_sendto = 44 +__NR_socket = 41 +__NR_socketpair = 53 diff --git a/sys/socket_unix_arm64.const b/sys/socket_unix_arm64.const new file mode 100644 index 000000000..fc9ca9bc9 --- /dev/null +++ b/sys/socket_unix_arm64.const @@ -0,0 +1,21 @@ +# AUTOGENERATED FILE +AF_UNIX = 1 +AF_UNSPEC = 0 +SCM_CREDENTIALS = 2 +SCM_RIGHTS = 1 +SOCK_DGRAM = 2 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_SOCKET = 1 +__NR_accept = 202 +__NR_accept4 = 242 +__NR_bind = 200 +__NR_connect = 203 +__NR_getpeername = 205 +__NR_getsockname = 204 +__NR_recvfrom = 207 +__NR_sendmmsg = 269 +__NR_sendmsg = 211 +__NR_sendto = 206 +__NR_socket = 198 +__NR_socketpair = 199 diff --git a/sys/socket_unix_ppc64le.const b/sys/socket_unix_ppc64le.const new file mode 100644 index 000000000..b8ec03296 --- /dev/null +++ b/sys/socket_unix_ppc64le.const @@ -0,0 +1,21 @@ +# AUTOGENERATED FILE +AF_UNIX = 1 +AF_UNSPEC = 0 +SCM_CREDENTIALS = 2 +SCM_RIGHTS = 1 +SOCK_DGRAM = 2 +SOCK_SEQPACKET = 5 +SOCK_STREAM = 1 +SOL_SOCKET = 1 +__NR_accept = 330 +__NR_accept4 = 344 +__NR_bind = 327 +__NR_connect = 328 +__NR_getpeername = 332 +__NR_getsockname = 331 +__NR_recvfrom = 337 +__NR_sendmmsg = 349 +__NR_sendmsg = 341 +__NR_sendto = 335 +__NR_socket = 326 +__NR_socketpair = 333 diff --git a/sys/sys.txt b/sys/sys.txt index 553b07590..702579a77 100644 --- a/sys/sys.txt +++ b/sys/sys.txt @@ -830,140 +830,6 @@ ucred { gid gid } -ip_mreq { - multi in_addr - addr in_addr -} - -ip_mreqn { - multi in_addr - addr in_addr - ifindex int32 -} - -ip_mreq_source { - multi in_addr - iface in_addr - source in_addr -} - -ip_msfilter { - multi in_addr - iface in_addr - fmode flags[ip_msfilter_mode, int32] - numsrc len[slist, int32] - slist array[in_addr] -} - -in_pktinfo { - ifindex int32 - dst in_addr - addr in_addr -} - -xfrm_filer { - info xfrm_userpolicy_info - tmpl xfrm_user_tmpl -} - -xfrm_userpolicy_info { - sel xfrm_selector - lft xfrm_lifetime_cfg - cur xfrm_lifetime_cur - prio int32 - index int32 - dir int8 - action int8 - flags int8 - share int8 -} - -xfrm_user_tmpl { - id xfrm_id - fam int16 - saddr xfrm_in_addr - reqid int32 - mode int8 - share int8 - opt int8 - aalgod int32 - ealgos int32 - calgos int32 -} - -xfrm_selector { - daddr xfrm_in_addr - saddr xfrm_in_addr - dport proc[int16be, 20000, 4] - dmask int16 - sport proc[int16be, 20000, 4] - smask int16 - fam int16 - len_d int8 - len_s int8 - proto int8 - ifindex int32 - user int32 -} - -xfrm_lifetime_cfg { - x0 int64 - x1 int64 - x2 int64 - x3 int64 - x4 int64 - x5 int64 - x6 int64 - x7 int64 -} - -xfrm_lifetime_cur { - bytes int64 - packets int64 - atime int64 - utime int64 -} - -xfrm_id { - daddr xfrm_in_addr - spi int32 - proto int8 -} - -xfrm_in_addr [ - in in_addr - in6 in6_addr -] - -in_addr [ -# 0.0.0.0 - empty const[0x00000000, int32be] -# 127.0.0.1 - loopback const[0x7f000001, int32be] -# 255.255.255.255 - broadcast const[0xffffffff, int32be] -] - -in6_addr_empty { - a0 const[0, int64be] - a1 const[0, int64be] -} - -in6_addr_loopback { - a0 const[0, int64be] - a1 const[1, int64be] -} - -in6_addr [ - empty in6_addr_empty - loopback in6_addr_loopback -] - -ipv6_mreq { - multi in6_addr - ifindex int32 -} - fiemap { start int64 len int64 diff --git a/sys/test_amd64.const b/sys/test_amd64.const new file mode 100644 index 000000000..c9328ca7e --- /dev/null +++ b/sys/test_amd64.const @@ -0,0 +1 @@ +# AUTOGENERATED FILE diff --git a/sys/test_arm64.const b/sys/test_arm64.const new file mode 100644 index 000000000..c9328ca7e --- /dev/null +++ b/sys/test_arm64.const @@ -0,0 +1 @@ +# AUTOGENERATED FILE diff --git a/sys/test_ppc64le.const b/sys/test_ppc64le.const new file mode 100644 index 000000000..c9328ca7e --- /dev/null +++ b/sys/test_ppc64le.const @@ -0,0 +1 @@ +# AUTOGENERATED FILE diff --git a/sys/vnet_amd64.const b/sys/vnet_amd64.const index a9ebe9aad..fe6731c78 100644 --- a/sys/vnet_amd64.const +++ b/sys/vnet_amd64.const @@ -66,8 +66,6 @@ ETH_P_X25 = 2053 ICMPV6_ADDR_UNREACH = 3 ICMPV6_ADM_PROHIBITED = 1 ICMPV6_DEST_UNREACH = 1 -ICMPV6_DHAAD_REPLY = 145 -ICMPV6_DHAAD_REQUEST = 144 ICMPV6_ECHO_REPLY = 129 ICMPV6_ECHO_REQUEST = 128 ICMPV6_EXC_FRAGTIME = 1 @@ -76,9 +74,6 @@ ICMPV6_HDR_FIELD = 0 ICMPV6_MGM_QUERY = 130 ICMPV6_MGM_REDUCTION = 132 ICMPV6_MGM_REPORT = 131 -ICMPV6_MLD2_REPORT = 143 -ICMPV6_MOBILE_PREFIX_ADV = 147 -ICMPV6_MOBILE_PREFIX_SOL = 146 ICMPV6_NI_QUERY = 139 ICMPV6_NI_REPLY = 140 ICMPV6_NOROUTE = 0 diff --git a/sys/vnet_arm64.const b/sys/vnet_arm64.const index a9ebe9aad..fe6731c78 100644 --- a/sys/vnet_arm64.const +++ b/sys/vnet_arm64.const @@ -66,8 +66,6 @@ ETH_P_X25 = 2053 ICMPV6_ADDR_UNREACH = 3 ICMPV6_ADM_PROHIBITED = 1 ICMPV6_DEST_UNREACH = 1 -ICMPV6_DHAAD_REPLY = 145 -ICMPV6_DHAAD_REQUEST = 144 ICMPV6_ECHO_REPLY = 129 ICMPV6_ECHO_REQUEST = 128 ICMPV6_EXC_FRAGTIME = 1 @@ -76,9 +74,6 @@ ICMPV6_HDR_FIELD = 0 ICMPV6_MGM_QUERY = 130 ICMPV6_MGM_REDUCTION = 132 ICMPV6_MGM_REPORT = 131 -ICMPV6_MLD2_REPORT = 143 -ICMPV6_MOBILE_PREFIX_ADV = 147 -ICMPV6_MOBILE_PREFIX_SOL = 146 ICMPV6_NI_QUERY = 139 ICMPV6_NI_REPLY = 140 ICMPV6_NOROUTE = 0 diff --git a/sys/vnet_ppc64le.const b/sys/vnet_ppc64le.const index a9ebe9aad..fe6731c78 100644 --- a/sys/vnet_ppc64le.const +++ b/sys/vnet_ppc64le.const @@ -66,8 +66,6 @@ ETH_P_X25 = 2053 ICMPV6_ADDR_UNREACH = 3 ICMPV6_ADM_PROHIBITED = 1 ICMPV6_DEST_UNREACH = 1 -ICMPV6_DHAAD_REPLY = 145 -ICMPV6_DHAAD_REQUEST = 144 ICMPV6_ECHO_REPLY = 129 ICMPV6_ECHO_REQUEST = 128 ICMPV6_EXC_FRAGTIME = 1 @@ -76,9 +74,6 @@ ICMPV6_HDR_FIELD = 0 ICMPV6_MGM_QUERY = 130 ICMPV6_MGM_REDUCTION = 132 ICMPV6_MGM_REPORT = 131 -ICMPV6_MLD2_REPORT = 143 -ICMPV6_MOBILE_PREFIX_ADV = 147 -ICMPV6_MOBILE_PREFIX_SOL = 146 ICMPV6_NI_QUERY = 139 ICMPV6_NI_REPLY = 140 ICMPV6_NOROUTE = 0 -- cgit mrf-deployment