// miniport.h
VOID WriteInt32Release(
[out] INT32 volatile *Destination,
[in] INT32 Value
);
View the official Windows Driver Kit DDI reference// wdm.h
VOID WriteInt32Release(
INT32 volatile *Destination,
INT32 Value
);
View the official Windows Driver Kit DDI referenceNo description available.
This topic describes the WriteInt32Release function.
Destination [out]Defines the INT32 parameter Destination.
Value [in]Defines the INT32 parameter Value.
DestinationValue