diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-03-22 12:21:51 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-03-24 08:43:00 +0100 |
| commit | ef871b2e4ff7b6a8f84a6a0a0fd3e9c3ed8e67b4 (patch) | |
| tree | b7cf2e1c4daf6ddab668bb2dd5b9c74a47724647 /sys/linux/dev_input.txt | |
| parent | 8cf47975a6532c9cb87e7c5dbfd462f5299a078b (diff) | |
sys/linux: don't use syz_open_dev when openat is enough
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 |