printf("ioctl(-1, RNDGETENTCNT, %p)" RVAL_EBADF, &cnt);
ioctl(-1, RNDADDTOENTCNT, &cnt);
printf("ioctl(-1, RNDADDTOENTCNT, [6])" RVAL_EBADF);
+
+ ioctl(-1, RNDADDENTROPY, NULL);
+ printf("ioctl(-1, RNDADDENTROPY, NULL)" RVAL_EBADF);
ioctl(-1, RNDADDENTROPY, info);
printf("ioctl(-1, RNDADDENTROPY, {entropy_count=3, buf_size=8, buf=\"12345678\"})" RVAL_EBADF);
ioctl(-1, RNDRESEEDCRNG);
printf("ioctl(-1, RNDRESEEDCRNG)" RVAL_EBADF);
+ ioctl(-1, _IO('R', 0xff), NULL);
+ printf("ioctl(-1, _IOC(_IOC_NONE, %#x, 0xff, 0), 0)" RVAL_EBADF, 'R');
+
puts("+++ exited with 0 +++");
return 0;
}