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