From 293fc8dc34bbc965f7160e7f4325da26e5ca8c4e Mon Sep 17 00:00:00 2001 From: Dmitry Borisov Date: Sat, 14 Jan 2023 17:17:38 +0600 Subject: [PATCH] [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 + * Created by HervĂ© Poussineau * * 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