git: 32079aae00de - stable/13 - syscalls.master: Fix SAL annotation for getdirentires basep argument

From: Ed Maste <emaste_at_FreeBSD.org>
Date: Sun, 07 Jan 2024 21:25:55 UTC
The branch stable/13 has been updated by emaste:

URL: https://cgit.FreeBSD.org/src/commit/?id=32079aae00debf26a4ddcef155f7a963308efb8d

commit 32079aae00debf26a4ddcef155f7a963308efb8d
Author:     Haoyu Gu <guhaoyu2005@gmail.com>
AuthorDate: 2023-09-24 22:34:43 +0000
Commit:     Ed Maste <emaste@FreeBSD.org>
CommitDate: 2024-01-07 20:41:48 +0000

    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)
    (cherry picked from commit dd588b3c9a5a2f2b2b62836ce70fd85813434748)
---
 sys/kern/syscalls.master | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sys/kern/syscalls.master b/sys/kern/syscalls.master
index 0a977ca0eff3..ace9ad5268b5 100644
--- a/sys/kern/syscalls.master
+++ b/sys/kern/syscalls.master
@@ -975,7 +975,7 @@
 		    int fd,
 		    _Out_writes_bytes_(count) char *buf,
 		    u_int count,
-		    _Out_ long *basep
+		    _Out_opt_ long *basep
 		);
 	}
 157	AUE_STATFS	COMPAT4 {
@@ -1167,7 +1167,7 @@
 		    int fd,
 		    _Out_writes_bytes_(count) char *buf,
 		    u_int count,
-		    _Out_ long *basep
+		    _Out_opt_ long *basep
 		);
 	}
 197	AUE_MMAP	COMPAT6 {
@@ -3081,7 +3081,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 {