diff options
author | Haoyu Gu <guhaoyu2005@gmail.com> | 2023-09-24 22:34:43 +0000 |
---|---|---|
committer | Ed Maste <emaste@FreeBSD.org> | 2023-09-29 12:26:00 +0000 |
commit | dd588b3c9a5a2f2b2b62836ce70fd85813434748 (patch) | |
tree | b3c189a82a3ddb06948406c4c3a07c4cf54b7e8b | |
parent | 6d22a25725cb0d6a5e3748572cc30c22098f5b01 (diff) | |
download | src-dd588b3c9a5a2f2b2b62836ce70fd85813434748.tar.gz src-dd588b3c9a5a2f2b2b62836ce70fd85813434748.zip |
syscalls.master: Fix SAL annotation for getdirentires basep argument
getdirentires last argument "off_t *basep" is an optional output
argument. It returns the value only when the passed-in value(pointer)
is non-NULL.
This is a part of the research work at RCSLab, University of Waterloo.
Reviewed by: imp, emaste
Differential Revision: https://reviews.freebsd.org/D41969
(cherry picked from commit 5e29272bf57e24a16f3a17f037f9a5e7cf25ed90)
-rw-r--r-- | sys/kern/syscalls.master | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/kern/syscalls.master b/sys/kern/syscalls.master index 69a669844629..f7c235ced26c 100644 --- a/sys/kern/syscalls.master +++ b/sys/kern/syscalls.master @@ -999,7 +999,7 @@ int fd, _Out_writes_bytes_(count) char *buf, u_int count, - _Out_ long *basep + _Out_opt_ long *basep ); } 157 AUE_STATFS COMPAT4 { @@ -1185,7 +1185,7 @@ int fd, _Out_writes_bytes_(count) char *buf, u_int count, - _Out_ long *basep + _Out_opt_ long *basep ); } 197 AUE_MMAP COMPAT6|CAPENABLED { @@ -3097,7 +3097,7 @@ int fd, _Out_writes_bytes_(count) char *buf, size_t count, - _Out_ off_t *basep + _Out_opt_ off_t *basep ); } 555 AUE_STATFS STD { |