aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/test.txt
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2017-11-29 09:47:55 +0100
committerDmitry Vyukov <dvyukov@google.com>2017-11-29 11:12:47 +0100
commit3a80fe350da4f5fc054c06fe279cc7ea734eb28b (patch)
tree4022743a66524b3534fc30eb7ef73e2af36761e5 /sys/linux/test.txt
parent1a6a7478c298a362d63a2f412155c70b7f97671d (diff)
prog: support bytesizeN for vma
I guess this is currently unused, but ignoring bytesizeN for vma looks wrong. If user asks for bytesizeN for vma, divide vma size by N.
Diffstat (limited to 'sys/linux/test.txt')
-rw-r--r--sys/linux/test.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/test.txt b/sys/linux/test.txt
index 489d24b55..9e4b91fdb 100644
--- a/sys/linux/test.txt
+++ b/sys/linux/test.txt
@@ -191,7 +191,7 @@ syz_test$length7(a0 ptr[in, syz_length_array2_struct])
syz_test$length8(a0 ptr[in, syz_length_complex_struct])
syz_test$length9(a0 ptr[in, syz_length_vma_struct])
-syz_test$length10(a0 vma, a1 len[a0])
+syz_test$length10(a0 vma, a1 len[a0], a2 bytesize[a0], a3 bytesize2[a0], a4 bytesize4[a0])
syz_test$length11(a0 ptr[in, syz_length_large_struct], a1 len[a0])
syz_test$length12(a0 ptr[in, syz_length_large_struct, opt], a1 len[a0])
syz_test$length13(a0 ptr[inout, syz_length_large_struct], a1 ptr[inout, len[a0, int64]])