diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-23 10:56:16 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-23 10:56:16 +0100 |
| commit | be5c2c81971442d623dd1b265dabf4644ceeb35b (patch) | |
| tree | fad1221fea5137be300e92a8475d92d8e1b47200 /sys/linux/uffd.txt.warn | |
| parent | 4b042b7d6708cae4cb29fa41b89deea14b2eea32 (diff) | |
sys/linux: fix 32-bit warnings
Lots of interesting findings...
Especially 2 byte uid/gid/pid.
Update #590
Diffstat (limited to 'sys/linux/uffd.txt.warn')
| -rw-r--r-- | sys/linux/uffd.txt.warn | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/sys/linux/uffd.txt.warn b/sys/linux/uffd.txt.warn deleted file mode 100644 index 573bd87bd..000000000 --- a/sys/linux/uffd.txt.warn +++ /dev/null @@ -1,17 +0,0 @@ -bad-struct-size: uffdio_range: syz=12 kernel=16 [386] -bad-field-size: uffdio_range.start: syz=4 kernel=8 [386] -bad-field-offset: uffdio_range.len: syz=4 kernel=8 [386] -bad-struct-size: uffdio_register: syz=28 kernel=32 [386] -bad-field-size: uffdio_register.range: syz=12 kernel=16 [386] -bad-field-offset: uffdio_register.mode: syz=12 kernel=16 [386] -bad-field-offset: uffdio_register.ioctls: syz=20 kernel=24 [386] -bad-struct-size: uffdio_copy: syz=32 kernel=40 [386] -bad-field-size: uffdio_copy.dst: syz=4 kernel=8 [386] -bad-field-offset: uffdio_copy.src: syz=4 kernel=8 [386] -bad-field-offset: uffdio_copy.len: syz=8 kernel=16 [386] -bad-field-offset: uffdio_copy.mode: syz=16 kernel=24 [386] -bad-field-offset: uffdio_copy.copy: syz=24 kernel=32 [386] -bad-struct-size: uffdio_zeropage: syz=28 kernel=32 [386] -bad-field-size: uffdio_zeropage.range: syz=12 kernel=16 [386] -bad-field-offset: uffdio_zeropage.mode: syz=12 kernel=16 [386] -bad-field-offset: uffdio_zeropage.zeropg/zeropage: syz=20 kernel=24 [386] |