1 # Copyright 2017 syzkaller project authors. All rights reserved. 2 # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. 3 4 # AF_INET and AF_INET6: UDP support 5 6 include <sys/types.h> 7 include <sys/socket.h> 8 include <netinet/in.h> 9 include <linux/linux.h> 10 include <compat/linux/linux_socket.h> 11 12 resource sock_udp[sock_in] 13 14 udp_pair { 15 f0 sock_udp 16 f1 sock_udp 17 } 18 19 socket$inet_udp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[0]) sock_udp 20 socketpair$inet_udp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[0], fds ptr[out, udp_pair]) 21 22 resource sock_udp6[sock_in6] 23 24 udp6_pair { 25 f0 sock_udp6 26 f1 sock_udp6 27 } 28 29 socket$inet6_udp(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[0]) sock_udp6 30 socketpair$inet6_udp(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[0], fds ptr[out, udp6_pair]) 31
