From bf0f0d27dfb2eea1baa70204b8d7d4d543dbb8f9 Mon Sep 17 00:00:00 2001
From: "Jason A. Donenfeld" <Jason@zx2c4.com>
Date: Tue, 3 Nov 2020 11:08:35 +0100
Subject: [PATCH] example: add sal markings

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
---
 example/example.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/example/example.c b/example/example.c
index 814cd57..5f1ec7a 100644
--- a/example/example.c
+++ b/example/example.c
@@ -171,7 +171,7 @@ PrintPacket(_In_ const BYTE *Packet, _In_ DWORD PacketSize)
 }
 
 static USHORT
-IPChecksum(BYTE *Buffer, DWORD Len)
+IPChecksum(_In_reads_bytes_(Len) BYTE *Buffer, _In_ DWORD Len)
 {
     ULONG Sum = 0;
     for (; Len > 1; Len -= 2, Buffer += 2)
@@ -184,7 +184,7 @@ IPChecksum(BYTE *Buffer, DWORD Len)
 }
 
 static void
-MakeICMP(_Inout_ BYTE Packet[28])
+MakeICMP(_Out_writes_bytes_all_(28) BYTE Packet[28])
 {
     memset(Packet, 0, 28);
     Packet[0] = 0x45;