struct DBGKD_MANIPULATE_STATE64

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