diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-24 11:41:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-24 11:41:13 +0100 |
| commit | 9a6ff11ff98e8137871648ee1a35a0a0e0b57adb (patch) | |
| tree | ff121693f1796b8d735a5a78bd6741f4391085f8 /sys/linux/socket.txt | |
| parent | ef6d3c0e038ea61d82b6140ea71ce96929d4a274 (diff) | |
sys/linux: fix devname_mask alignment
Since we use int64, it has 8-byte alignment.
It's wrong, it must have 1-byte alignment.
Use int8 instead.
Diffstat (limited to 'sys/linux/socket.txt')
| -rw-r--r-- | sys/linux/socket.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/linux/socket.txt b/sys/linux/socket.txt index a4d143172..ed8e5f6f2 100644 --- a/sys/linux/socket.txt +++ b/sys/linux/socket.txt @@ -315,8 +315,8 @@ devname [ ] devname_mask { - lo flags[devname_mask_values, int64] - hi const[0, int64] + lo flags[devname_mask_values, int8] + hi array[const[0, int8], 15] } devname_mask_values = 0, 0xff |