EtwpUnlockBufferList

VOID __fastcall EtwpUnlockBufferList(INT64 a1, UINT8 *a2){
  bool v2; 
  UINT64 *v3; 
  unsigned __int64 v4; 
  v2 = *(_DWORD *)(a1 + 316) == 1;
  v3 = (UINT64 *)(a1 + 712);
  if( v2 )
  {
    ExReleasePushLockEx((UINT64)v3, 0i64);
  }
  else
  {
    v4 = *a2;
    KxReleaseSpinLock(v3);
    __writecr8(v4);
  }
}

Referenced by: