_QWORD *__fastcall PsSynchronizeWithThreadInsertion(__int64 a1, __int64 a2){
_QWORD *v3;
int v5[10];
--*(_WORD *)(a2 + 484);
v3 = (_QWORD *)(a1 + 1280);
_InterlockedOr(v5, 0);
if( (*v3 & 1) != 0 )
ExfAcquireReleasePushLockExclusive(v3);
return KeLeaveCriticalRegionThread(a2);
}