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/dev_input.txt | |
| 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/dev_input.txt')
| -rw-r--r-- | sys/linux/dev_input.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/dev_input.txt b/sys/linux/dev_input.txt index 409193328..8b435bcd5 100644 --- a/sys/linux/dev_input.txt +++ b/sys/linux/dev_input.txt @@ -143,7 +143,7 @@ ff_envelope { input_mask { type flags[input_codes, int32] size bytesize[ptr, int32] - ptr buffer[in] + ptr ptr64[in, array[int8]] } input_absinfo { |