[XDK/DDK]

* The event parameter in IoBuildDeviceIoControlRequest is optional. Spotted by Nikolay Borisov.
CORE-7172 #resolve

svn path=/trunk/; revision=58965
This commit is contained in:
Amine Khaldi 2013-05-08 10:26:24 +00:00
parent c1d4f2f390
commit 018f811091
2 changed files with 2 additions and 2 deletions

View file

@ -12603,7 +12603,7 @@ IoBuildDeviceIoControlRequest(
_Out_opt_ PVOID OutputBuffer,
_In_ ULONG OutputBufferLength,
_In_ BOOLEAN InternalDeviceIoControl,
_In_ PKEVENT Event,
_In_opt_ PKEVENT Event,
_Out_ PIO_STATUS_BLOCK IoStatusBlock);
_IRQL_requires_max_(DISPATCH_LEVEL)

View file

@ -716,7 +716,7 @@ IoBuildDeviceIoControlRequest(
_Out_opt_ PVOID OutputBuffer,
_In_ ULONG OutputBufferLength,
_In_ BOOLEAN InternalDeviceIoControl,
_In_ PKEVENT Event,
_In_opt_ PKEVENT Event,
_Out_ PIO_STATUS_BLOCK IoStatusBlock);
_IRQL_requires_max_(DISPATCH_LEVEL)