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
This commit is contained in:
Haoyu Gu 2023-09-24 18:34:43 -04:00 committed by Ed Maste
parent abcdc1b9ae
commit 5e29272bf5

View file

@ -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 {