diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-09 15:01:23 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-09 15:13:17 +0100 |
| commit | 4de4e9f01d7139b72102ae0b8a1e810730467774 (patch) | |
| tree | 8d79e599adaab3b7fe74020ad10f23adcaa828c2 /sys/linux/dev_video4linux.txt | |
| parent | a41d89c7c9c1d0f683ea9884d33d094247eda218 (diff) | |
sys/linux: add NFNL_SUBSYS_ULOG descriptions
Diffstat (limited to 'sys/linux/dev_video4linux.txt')
| -rw-r--r-- | sys/linux/dev_video4linux.txt | 3 |
1 files changed, 3 insertions, 0 deletions
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 |