typedef struct _DBGKD_SET_CONTEXT
{
     ULONG ContextFlags;
} DBGKD_SET_CONTEXT, *PDBGKD_SET_CONTEXT;

Windows Vista Kernel Structures