Corpus for ioctl$TUNGETDEVNETNS:

Coverage	Program