diff options
Diffstat (limited to 'sys/linux/random.txt')
| -rwxr-xr-x | sys/linux/random.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/linux/random.txt b/sys/linux/random.txt index 234d1be40..ae13dbc7a 100755 --- a/sys/linux/random.txt +++ b/sys/linux/random.txt @@ -5,8 +5,8 @@ include <linux/random.h> resource fd_random[fd] -syz_open_dev$random(dev ptr[in, string["/dev/random"]], id const[0], flags flags[open_flags]) fd_random -syz_open_dev$urandom(dev ptr[in, string["/dev/urandom"]], id const[0], flags flags[open_flags]) fd_random +openat$random(fd const[AT_FDCWD], file ptr[in, string["/dev/urandom"]], flags flags[open_flags], mode const[0]) fd_random +openat$urandom(fd const[AT_FDCWD], file ptr[in, string["/dev/urandom"]], flags flags[open_flags], mode const[0]) fd_random ioctl$RNDGETENTCNT(fd fd_random, cmd const[RNDGETENTCNT], arg ptr[out, int32]) ioctl$RNDADDTOENTCNT(fd fd_random, cmd const[RNDADDTOENTCNT], arg ptr[in, int32]) |