// wdbgexts.h
ULONG IsPtr64();
View the official Windows Driver Kit DDI referenceNo description available.
The IsPtr64 function determines if the target uses 64-bit pointers.
The function returns TRUE if the target uses 64-bit pointers; FALSE, otherwise.