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

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 {