IopQueueThreadIrp

VOID __stdcall IopQueueThreadIrp(_IRP *Irp){
  __int64 v1; 
  _QWORD *v2; 
  __int64 *v3; 
  UINT64 *v4; 
  unsigned __int8 CurrentIrql; 
  __int64 v6; 
  v1 = *((_QWORD *)Irp + 19);
  v2 = (_QWORD *)((char *)Irp + 32);
  v3 = (__int64 *)(v1 + 1200);
  v4 = (UINT64 *)(v1 + 1416);
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(2ui64);
  if( _interlockedbittestandset64((volatile signed __int32 *)v4, 0i64) )
    KxWaitForSpinLockAndAcquire(v4);
  v6 = *v3;
  if( *(__int64 **)(*v3 + 8) != v3 )
    __fastfail(3u);
  *v2 = v6;
  v2[1] = v3;
  *(_QWORD *)(v6 + 8) = v2;
  *v3 = (__int64)v2;
  _InterlockedAnd64((volatile signed __int64 *)v4, 0i64);
  __writecr8(CurrentIrql);
}

Referenced by: