// wdbgexts.h
VOID SetThreadForOperation64(
PULONG64 Thread
);
View the official Windows Driver Kit DDI referenceNo description available.
The SetThreadForOperation64 function sets the thread to use for the next StackTrace call.
ThreadPoints to the thread object to be used for the next stack trace.
If you are writing 32-bit code, you should use SetThreadForOperation instead. See 32-Bit Pointers and 64-Bit Pointers for details.
For a WdbgExts extension, include Wdbgexts.h. For a DbgEng extension, include Wdbgexts.h before Dbgeng.h. See Writing DbgEng Extension Code for details.