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