Fix parameter annotation for __FreeCapturedBuffer()

CapturedBuffer is optional, mark it so.

Signed-off-by: Rafał Wojdyła <omeg@invisiblethingslab.com>

diff --git a/src/xeniface/ioctls.c b/src/xeniface/ioctls.c
index 9808adc2e3bc3c358f06cd0990a42d8418e02584..6298fefbd2e610910a48e9ba6d60086654d6cc37 100644 (file)
--- a/src/xeniface/ioctls.c
+++ b/src/xeniface/ioctls.c
@@ -79,7 +79,7 @@ __CaptureUserBuffer(
 
 VOID
 __FreeCapturedBuffer(
-    __in  PVOID CapturedBuffer
+    __in_opt  PVOID CapturedBuffer
     )
 {
     if (CapturedBuffer != NULL) {

diff --git a/src/xeniface/ioctls.h b/src/xeniface/ioctls.h
index 4c932eda603fa46c1f8469799c687fdbc9584bae..c89f173369ae7cfce46344b6dca8caf981b92d32 100644 (file)
--- a/src/xeniface/ioctls.h
+++ b/src/xeniface/ioctls.h
@@ -109,7 +109,7 @@ __CaptureUserBuffer(
 
 VOID
 __FreeCapturedBuffer(
-    __in  PVOID CapturedBuffer
+    __in_opt  PVOID CapturedBuffer
     );
 
 NTSTATUS