// usermode_accessors.h
UINT64 ReadUInt64FromUserAcquire(
const volatile UINT64 *Source
);
View the official Windows Driver Kit DDI referenceNo description available.
The ReadUInt64FromUserAcquire function safely reads a UINT64 value from user-mode memory with acquire semantics.
Source[in] A pointer to the user-mode memory location from which to read the UINT64 value.
ReadUInt64FromUserAcquire returns the UINT64 value read from the specified user-mode memory address.
This function provides a safe way to read a UINT64 value from user-mode memory. It ensures the provided address is a user-mode address before reading it. The acquire semantics ensure that subsequent memory operations can't be reordered before this read operation.
This function doesn't enforce alignment.
It raises a structured exception if the memory access fails, such as when the source address isn't a user-mode address or is inaccessible.
This function will never be optimized away by the compiler, nor will the compiler create additional accesses to this memory location before the function is called or after the function returns (unless the source code explicitly performs these accesses). The memory access is performed with memory_order_acquire semantics.
This function works on all versions of Windows, not just the latest. You need to consume the latest WDK to get the function declaration from the usermode_accessors.h header. You also need the library (umaccess.lib) from the latest WDK. However, the resulting driver will run fine on older versions of Windows.