https://git.reactos.org/?p=reactos.git;a=commitdiff;h=293fc8dc34bbc965f7160…
commit 293fc8dc34bbc965f7160e7f4325da26e5ca8c4e
Author: Dmitry Borisov <di.sean(a)protonmail.com>
AuthorDate: Sat Jan 14 17:17:38 2023 +0600
Commit: Stanislav Motylkov <x86corez(a)gmail.com>
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 <hpoussin(a)reactos.org>
+ * Created by Hervé Poussineau <hpoussin(a)reactos.org>
*
* 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