https://git.reactos.org/?p=reactos.git;a=commitdiff;h=293fc8dc34bbc965f7160e7f4325da26e5ca8c4e
commit 293fc8dc34bbc965f7160e7f4325da26e5ca8c4e Author: Dmitry Borisov <[email protected]> AuthorDate: Sat Jan 14 17:17:38 2023 +0600 Commit: Stanislav Motylkov <[email protected]> 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 <[email protected]> + * Created by Hervé Poussineau <[email protected]> * * 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
