From 4de4e9f01d7139b72102ae0b8a1e810730467774 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 9 Jan 2020 15:01:23 +0100 Subject: sys/linux: add NFNL_SUBSYS_ULOG descriptions --- sys/linux/dev_video4linux.txt | 3 +++ 1 file changed, 3 insertions(+) (limited to 'sys/linux/dev_video4linux.txt') diff --git a/sys/linux/dev_video4linux.txt b/sys/linux/dev_video4linux.txt index 2d5d3c73a..d7bd586ed 100644 --- a/sys/linux/dev_video4linux.txt +++ b/sys/linux/dev_video4linux.txt @@ -22,6 +22,9 @@ resource fd_v4l2_buffer[fd] syz_open_dev$video(dev ptr[in, string["/dev/video#"]], id intptr, flags flags[open_flags]) fd_video syz_open_dev$video4linux(dev ptr[in, string["/dev/v4l-subdev#"]], id intptr, flags flags[open_flags]) fd_video +# TODO: we now get wrong values for ioctl commands that involve v4l2_buffer and v4l2_event. +# Our definition uses 32-bit timespec, while kernel uses 64-bit timespec when __KERNEL__ is defined. + # Special support for CONFIG_VIDEO_VIMC/VIM2M/VIVID/VICODEC. # Here we assume that all of them are enabled and the following arguments are passed on command line: # vivid.n_devs=16 vivid.multiplanar=1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2 -- cgit mrf-deployment