Corpus for ioctl$sock_ipv6_tunnel_SIOCDELTUNNEL:

Coverage	Program
261	socket$inet6_udp-ioctl$sock_ipv6_tunnel_SIOCDELTUNNEL
243	socket$inet6_udp-ioctl$sock_ipv6_tunnel_SIOCDELTUNNEL
241	socket$inet6_udp-ioctl$sock_ipv6_tunnel_SIOCDELTUNNEL