EtwpResetBufferHeader

VOID __stdcall EtwpResetBufferHeader(_WMI_BUFFER_HEADER *Buffer, UINT16 BufferType){
  *((_DWORD *)Buffer + 1) = 0;
  *((_QWORD *)Buffer + 4) = 0i64;
  *((_DWORD *)Buffer + 2) = 72;
  *((_WORD *)Buffer + 27) = BufferType;
  if( (*((_WORD *)Buffer + 26) & 0x100) != 0 )
  {
    memset((char *)Buffer + *((unsigned int *)Buffer + 2), 0i64, *(_DWORD *)Buffer - *((_DWORD *)Buffer + 2));
    *((_WORD *)Buffer + 26) &= ~0x100u;
  }
}

Referenced by: