EtwpInitializeBufferHeader

__int64 __fastcall EtwpInitializeBufferHeader(__int16 *a1, _DWORD *a2){
  __int16 v4; 
  __int64 result; 
  memset((INT64)a2, 0i64);
  a2[2] = 72;
  a2[12] = a2[2];
  *a2 = *((_DWORD *)a1 + 1);
  v4 = *a1;
  *((_WORD *)a2 + 21) = *a1;
  if( !v4 )
    *((_WORD *)a2 + 21) = -1;
  result = 256i64;
  *((_WORD *)a2 + 26) |= 0x100u;
  return result;
}

Referenced by: