diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-01-13 20:45:35 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-01-13 20:45:35 +0100 |
| commit | b217dcb509f133976933640563ff5c41bc97fc0b (patch) | |
| tree | 4ce44036b17a4b0e21c1d9d0d83368156c7e3c45 /sys/input.txt | |
| parent | d399ab9dc9ddf7417f2f91c70e6298348312fbab (diff) | |
sys: support /dev/input/{mouse,mice,event}
Diffstat (limited to 'sys/input.txt')
| -rw-r--r-- | sys/input.txt | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/sys/input.txt b/sys/input.txt new file mode 100644 index 000000000..3dc6e76d3 --- /dev/null +++ b/sys/input.txt @@ -0,0 +1,19 @@ +# Copyright 2015 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +# There seems to be nothing special we can do with this fd. +syz_open_dev$mouse(dev strconst["/dev/input/mouse#"], id intptr, flags flags[open_flags]) fd +syz_open_dev$mice(dev strconst["/dev/input/mice"], id const[0], flags flags[open_flags]) fd + +syz_open_dev$evdev(dev strconst["/dev/input/event#"], id intptr, flags flags[open_flags]) fd[evdev] + +# TODO: len should be bute len of data (not array len) +write$evdev(fd fd[evdev], data ptr[in, array[input_event]], len intptr) + +input_event { + time timeval + type int16 + code int16 + val int32 +} + |