From dd588b3c9a5a2f2b2b62836ce70fd85813434748 Mon Sep 17 00:00:00 2001
From: Haoyu Gu <guhaoyu2005@gmail.com>
Date: Sun, 24 Sep 2023 18:34:43 -0400
Subject: [PATCH] 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)
---
 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 69a66984462..f7c235ced26 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 {