Corpus for ioctl$sock_ipv6_tunnel_SIOCADDTUNNEL:

Coverage	Program
262	socket$inet6_udp-ioctl$sock_ipv6_tunnel_SIOCADDTUNNEL
223	socket$inet6_udplite-ioctl$sock_ipv6_tunnel_SIOCADDTUNNEL