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