// wdbgexts.h
void GetKdContext(
ppi
);
View the official Windows Driver Kit DDI referenceNo description available.
The GetKdContext function returns the total number of processors and the number of the current processor in the structure ppi points to.
ppiPoints to the following structure:
typedef struct _PROCESSORINFO {
USHORT Processor; // current processor
USHORT NumberProcessors; // total number of processors
} PROCESSORINFO, *PPROCESSORINFO;
The total number of processors in the structure.