// usermode_accessors.h
LONG64 RtlInterlockedAnd64ToUser(
LONG64 volatile *Destination,
LONG64 Value
);
View the official Windows Driver Kit DDI referenceNo description available.
The RtlInterlockedAnd64ToUser function is reserved for system use.
DestinationValue