// usermode_accessors.h
VOID RtlWriteULongToUserRelease(
volatile ULONG *Address,
ULONG Value
);
View the official Windows Driver Kit DDI referenceNo description available.
The RtlWriteULongToUserRelease function is reserved for system use.
AddressValue