diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-01-11 20:20:35 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2022-01-13 17:03:25 +0100 |
| commit | b8d780ab30ab6ba340c43ad1944096dae15e6e79 (patch) | |
| tree | 18f7079c2d241bc63e35b5a89aa92d4715ce7def /sys/linux/dev_media.txt | |
| parent | 65ab1192dcd0323e1b51e8e2f074fb5d6fcb2a1f (diff) | |
sys/linux: fix bugs pointed out by syz-check
Update #590
Diffstat (limited to 'sys/linux/dev_media.txt')
| -rw-r--r-- | sys/linux/dev_media.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sys/linux/dev_media.txt b/sys/linux/dev_media.txt index 8a3f845c0..523dd1317 100644 --- a/sys/linux/dev_media.txt +++ b/sys/linux/dev_media.txt @@ -28,9 +28,10 @@ media_entity_desc { } [size[MEDIA_ENTITY_DESC_SIZE]] media_links_enum { - entity media_entity_id (in) - pads ptr[out, array[media_pad_desc, 2]] - links ptr[out, array[media_link_desc, 2]] + entity media_entity_id (in) + pads ptr[out, array[media_pad_desc, 2]] + links ptr[out, array[media_link_desc, 2]] + reserved array[const[0, int32], 4] } media_link_desc { @@ -89,8 +90,7 @@ media_v2_pad { flags int32 # The v1 pad indexes are int16, so we use int16 as resource base, # but v2 pad indexes are int32, so we need the pad. - index media_pad_index - index_pad const[0, int16] + index padto32[media_pad_index] reserved array[int32, 4] } [packed] |