aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/dev_video4linux.txt
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2019-11-30 19:17:15 +0100
committerDmitry Vyukov <dvyukov@google.com>2019-11-30 19:17:15 +0100
commita76bf83ffac5c0bed0a686f8ebc98c74bfb34a0c (patch)
tree47d7297eee34f99300bdda92e74b2717bf3d3526 /sys/linux/dev_video4linux.txt
parent3a75be00f50996031dd301d44b009d56db3485f0 (diff)
sys/linux: fix /dev/watch_queue name
It's /dev/watch_queue not /dev/fd_watch_queue. Don't know if it was renamed, or alwys wrong, but does not matter much, now it's /dev/watch_queue. Also attach v4l ioctls to /dev/swradio,radio,vbi,cec. It seems that _some_ of them are applicable to these devices as well.
Diffstat (limited to 'sys/linux/dev_video4linux.txt')
-rw-r--r--sys/linux/dev_video4linux.txt11
1 files changed, 7 insertions, 4 deletions
diff --git a/sys/linux/dev_video4linux.txt b/sys/linux/dev_video4linux.txt
index b52f27da1..08a8a651d 100644
--- a/sys/linux/dev_video4linux.txt
+++ b/sys/linux/dev_video4linux.txt
@@ -32,10 +32,13 @@ syz_open_dev$vivid(dev ptr[in, string["/dev/video#"]], id proc[3, 4], flags cons
openat$vim2m(fd const[AT_FDCWD], file ptr[in, string["/dev/video35"]], flags const[O_RDWR], mode const[0]) fd_video
openat$vicodec0(fd const[AT_FDCWD], file ptr[in, string["/dev/video36"]], flags const[O_RDWR], mode const[0]) fd_video
openat$vicodec1(fd const[AT_FDCWD], file ptr[in, string["/dev/video37"]], flags const[O_RDWR], mode const[0]) fd_video
-syz_open_dev$swradio(dev ptr[in, string["/dev/swradio#"]], id proc[0, 2], flags const[O_RDWR]) fd
-syz_open_dev$radio(dev ptr[in, string["/dev/radio#"]], id proc[0, 4], flags const[O_RDWR]) fd
-syz_open_dev$vbi(dev ptr[in, string["/dev/vbi#"]], id proc[0, 4], flags const[O_RDWR]) fd
-syz_open_dev$cec(dev ptr[in, string["/dev/cec#"]], id proc[0, 4], flags const[O_RDWR]) fd
+# TODO: there are some complex rules as to what ioctl's are applicable to what devices
+# (see determine_valid_ioctls in v4l2-dev.c). We don't have these rules described.
+# Currently we just apply all ioctl's to all v4l devices.
+syz_open_dev$swradio(dev ptr[in, string["/dev/swradio#"]], id proc[0, 2], flags const[O_RDWR]) fd_video
+syz_open_dev$radio(dev ptr[in, string["/dev/radio#"]], id proc[0, 4], flags const[O_RDWR]) fd_video
+syz_open_dev$vbi(dev ptr[in, string["/dev/vbi#"]], id proc[0, 4], flags const[O_RDWR]) fd_video
+syz_open_dev$cec(dev ptr[in, string["/dev/cec#"]], id proc[0, 4], flags const[O_RDWR]) fd_video
ioctl$VIDIOC_QUERYCAP(fd fd_video, cmd const[VIDIOC_QUERYCAP], arg ptr[out, v4l2_capability])
ioctl$VIDIOC_RESERVED(fd fd_video, cmd const[VIDIOC_RESERVED], arg const[0])