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