EtwpCovSampCaptureBufferAddIP

VOID __stdcall EtwpCovSampCaptureBufferAddIP(INT64 a1, UINT64 a2){
  int v2; 
  int v3; 

  if( a2 )
  {
    *(_QWORD *)(a1 + 64) = a2;
    *(_WORD *)(a1 + 62) = 1;
    v2 = *(_DWORD *)(a1 + 56);
    if( a2 < 0xFFFF800000000000ui64 )
      v3 = v2 | 0xA;
    else
      v3 = v2 | 9;
    *(_DWORD *)(a1 + 56) = v3;
  }
}

Referenced by: