EtwpResetBufferHeader

__int64 __fastcall EtwpResetBufferHeader(__int64 a1, __int16 a2){
  __int64 result; 
  *(_DWORD *)(a1 + 4) = 0;
  *(_QWORD *)(a1 + 32) = 0i64;
  *(_DWORD *)(a1 + 8) = 72;
  *(_WORD *)(a1 + 54) = a2;
  if( (*(_WORD *)(a1 + 52) & 0x100) != 0 )
  {
    memset(a1 + *(unsigned int *)(a1 + 8), 0i64);
    result = 65279i64;
    *(_WORD *)(a1 + 52) &= ~0x100u;
  }
  return result;
}

Referenced by: