Corpus for ioctl$TUNGETDEVNETNS:
Coverage Program
564 ioctl$TCSETSF2-openat$tun-ioctl$TUNSETQUEUE-ioctl$TUNGETDEVNETNS
511 ioctl$TCSETSF2-openat$tun-ioctl$TUNSETQUEUE-ioctl$TUNGETDEVNETNS
106 openat$hpet-ioctl$TUNGETDEVNETNS