typedef struct _DBGKD_MANIPULATE_STATE64 { ULONG ApiNumber; WORD ProcessorLevel; WORD Processor; LONG ReturnStatus; ULONG u; } DBGKD_MANIPULATE_STATE64, *PDBGKD_MANIPULATE_STATE64;
Windows Vista Kernel Structures