VerifierKeReleaseMutant

NTSTATUS __stdcall VerifierKeReleaseMutant(_KMUTANT *Mutant, INT64 Increment, UINT8 Abandoned, UINT8 Wait){
  unsigned int v4; 
  __int64 v8; 
  __int64 v9; 
  VOID *retaddr; 

  v4 = Increment;
  VfUtilCheckKernelAddress(Mutant, 0x38u);
  VfDeadlockReleaseResource(Mutant, (_VI_DEADLOCK_RESOURCE_TYPE)((Abandoned != 0) + 1), KeGetCurrentThread(), retaddr);
  LOBYTE(v8) = Wait;
  LOBYTE(v9) = Abandoned;
  return((__int64(__fastcall *)(_KMUTANT *, _QWORD, __int64, __int64))pXdvKeReleaseMutant)(Mutant, v4, v9, v8);
}

Referenced by: