From b8d780ab30ab6ba340c43ad1944096dae15e6e79 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Tue, 11 Jan 2022 20:20:35 +0100 Subject: sys/linux: fix bugs pointed out by syz-check Update #590 --- sys/linux/sys.txt | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'sys/linux/sys.txt') diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt index 8664e09a8..2ccb38ab1 100644 --- a/sys/linux/sys.txt +++ b/sys/linux/sys.txt @@ -59,7 +59,7 @@ include resource fd[int32]: -1 resource fd_dir[fd]: AT_FDCWD -# alignptr/align32/align64 can be used when ABI uses int64/intptr to hold a smaller tqype. +# alignptr/align32/align64/padto64 can be used when ABI uses int64/intptr to hold a smaller type. # E.g. pid/uid stored as intptr/int64. type alignptr[T] { v T @@ -73,6 +73,14 @@ type align64[T] { v T } [align[8]] +type padto32[T] { + v T +} [size[4]] + +type padto64[T] { + v T +} [size[8]] + type signalno int32[0:65] type signalnoptr intptr[0:65] -- cgit mrf-deployment