diff options
Diffstat (limited to 'sys/linux/dev_input.txt')
| -rw-r--r-- | sys/linux/dev_input.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/dev_input.txt b/sys/linux/dev_input.txt index 8b435bcd5..8b1007a5e 100644 --- a/sys/linux/dev_input.txt +++ b/sys/linux/dev_input.txt @@ -7,7 +7,7 @@ resource fd_evdev[fd] # There seems to be nothing special we can do with this fd. syz_open_dev$mouse(dev ptr[in, string["/dev/input/mouse#"]], id intptr, flags flags[open_flags]) fd -syz_open_dev$mice(dev ptr[in, string["/dev/input/mice"]], id const[0], flags flags[open_flags]) fd +openat$mice(fd const[AT_FDCWD], file ptr[in, string["/dev/input/mice"]], flags flags[open_flags]) fd syz_open_dev$evdev(dev ptr[in, string["/dev/input/event#"]], id intptr, flags flags[open_flags]) fd_evdev |