struct DBGKD_MANIPULATE_STATE32

typedef struct _DBGKD_MANIPULATE_STATE32
{
     ULONG ApiNumber;
     WORD ProcessorLevel;
     WORD Processor;
     LONG ReturnStatus;
     ULONG u;
} DBGKD_MANIPULATE_STATE32, *PDBGKD_MANIPULATE_STATE32;

Windows Vista Kernel Structures