From b217dcb509f133976933640563ff5c41bc97fc0b Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 13 Jan 2016 20:45:35 +0100 Subject: sys: support /dev/input/{mouse,mice,event} --- sys/input.txt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 sys/input.txt (limited to 'sys/input.txt') 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 +} + -- cgit mrf-deployment