[reactos] 01/02: [DDK:IDE] Add SAL2 annotations

[Dmitry Borisov]

https://git.reactos.org/?p=reactos.git;a=commitdiff;h=293fc8dc34bbc965f7160e...

commit 293fc8dc34bbc965f7160e7f4325da26e5ca8c4e
Author:     Dmitry Borisov [e-mail]
AuthorDate: Sat Jan 14 17:17:38 2023 +0600
Commit:     Stanislav Motylkov [e-mail]
CommitDate: Sun Jul 16 13:20:30 2023 +0300

[DDK:IDE] Add SAL2 annotations
---
 sdk/include/ddk/ide.h | 54 +++++++++++++++++++++++++--------------------------
 1 file changed, 27 insertions(+), 27 deletions(-)

diff --git a/sdk/include/ddk/ide.h b/sdk/include/ddk/ide.h
index 7b99cedf43b..4f3ea9f4650 100644
--- a/sdk/include/ddk/ide.h
+++ b/sdk/include/ddk/ide.h
@@ -6,7 +6,7 @@
  * This file is part of the w32api package.
  *
  * Contributors:
- *   Created by Herv� Poussineau [e-mail]
+ *   Created by Hervé Poussineau [e-mail]
  *
  * THIS SOFTWARE IS NOT COPYRIGHTED
  *
@@ -201,29 +201,29 @@ typedef enum

typedef IDE_CHANNEL_STATE
 (NTAPI *PCIIDE_CHANNEL_ENABLED)(
-  IN PVOID DeviceExtension,
-  IN ULONG Channel);
+    _In_ PVOID DeviceExtension,
+    _In_ ULONG Channel);

typedef BOOLEAN
 (NTAPI *PCIIDE_SYNC_ACCESS_REQUIRED)(
-  IN PVOID DeviceExtension);
+    _In_ PVOID DeviceExtension);

typedef NTSTATUS
 (NTAPI *PCIIDE_TRANSFER_MODE_SELECT_FUNC)(
-  IN PVOID DeviceExtension,
-  IN OUT PPCIIDE_TRANSFER_MODE_SELECT XferMode);
+    _In_ PVOID DeviceExtension,
+    _Inout_ PPCIIDE_TRANSFER_MODE_SELECT XferMode);

typedef ULONG
 (NTAPI *PCIIDE_USEDMA_FUNC)(
-  IN PVOID DeviceExtension,
-  IN PUCHAR CdbCommand,
-  IN PUCHAR Slave);
+    _In_ PVOID DeviceExtension,
+    _In_ PUCHAR CdbCommand,
+    _In_ PUCHAR Slave);

typedef NTSTATUS
 (NTAPI *PCIIDE_UDMA_MODES_SUPPORTED)(
-  IN IDENTIFY_DATA IdentifyData,
-  OUT PULONG BestXferMode,
-  OUT PULONG CurrentXferMode);
+    _In_ IDENTIFY_DATA IdentifyData,
+    _Out_ PULONG BestXferMode,
+    _Out_ PULONG CurrentXferMode);

typedef struct _IDE_CONTROLLER_PROPERTIES
 {
@@ -243,30 +243,30 @@ typedef struct _IDE_CONTROLLER_PROPERTIES

typedef NTSTATUS
 (NTAPI *PCONTROLLER_PROPERTIES)(
-  IN PVOID DeviceExtension,
-  IN PIDE_CONTROLLER_PROPERTIES ControllerProperties);
+    _In_ PVOID DeviceExtension,
+    _In_ PIDE_CONTROLLER_PROPERTIES ControllerProperties);

NTSTATUS NTAPI
 PciIdeXInitialize(
-  IN PDRIVER_OBJECT DriverObject,
-  IN PUNICODE_STRING RegistryPath,
-  IN PCONTROLLER_PROPERTIES HwGetControllerProperties,
-  IN ULONG ExtensionSize);
+    _In_ PDRIVER_OBJECT DriverObject,
+    _In_ PUNICODE_STRING RegistryPath,
+    _In_ PCONTROLLER_PROPERTIES HwGetControllerProperties,
+    _In_ ULONG ExtensionSize);

NTSTATUS NTAPI
 PciIdeXGetBusData(
-  IN PVOID DeviceExtension,
-  IN PVOID Buffer,
-  IN ULONG ConfigDataOffset,
-  IN ULONG BufferLength);
+    _In_ PVOID DeviceExtension,
+    _Out_writes_bytes_all_(BufferLength) PVOID Buffer,
+    _In_ ULONG ConfigDataOffset,
+    _In_ ULONG BufferLength);

NTSTATUS NTAPI
 PciIdeXSetBusData(
-  IN PVOID DeviceExtension,
-  IN PVOID Buffer,
-  IN PVOID DataMask,
-  IN ULONG ConfigDataOffset,
-  IN ULONG BufferLength);
+    _In_ PVOID DeviceExtension,
+    _In_reads_bytes_(BufferLength) PVOID Buffer,
+    _In_reads_bytes_(BufferLength) PVOID DataMask,
+    _In_ ULONG ConfigDataOffset,
+    _In_ ULONG BufferLength);

/* Bit field values for
  * PCIIDE_TRANSFER_MODE_SELECT.DeviceTransferModeSupported and