typedef struct _WMI_BUFFER_HEADER
{
    unsigned long BufferSize;
    unsigned long SavedOffset;
    volatile unsigned long CurrentOffset;
    volatile long ReferenceCount;
    LARGE_INTEGER TimeStamp;
    __int64 SequenceNumber;
    union
    {
        unsigned long Padding0[2];
        SINGLE_LIST_ENTRY SlistEntry;
        WMI_BUFFER_HEADER *NextBuffer;
    };
    ETW_BUFFER_CONTEXT ClientContext;
    ETW_BUFFER_STATE State;
    unsigned long Offset;
    unsigned short BufferFlag;
    unsigned short BufferType;
    union
    {
        unsigned long Padding1[4];
        ETW_REF_CLOCK ReferenceTime;
        LIST_ENTRY GlobalEntry;
        struct
        {
            void *Pointer0;
            void *Pointer1;
        };
    };
} WMI_BUFFER_HEADER, *PWMI_BUFFER_HEADER;