NTSTATUS __stdcall VerifierKeReleaseMutantNoReboot(_KMUTANT *Mutant, INT64 Increment, UINT8 Abandoned, UINT8 Wait){
unsigned int v4;
__int64 v8;
__int64 v9;
v4 = Increment;
VfUtilCheckKernelAddress(Mutant, 0x38u);
LOBYTE(v8) = Wait;
LOBYTE(v9) = Abandoned;
return((__int64(__fastcall *)(_KMUTANT *, _QWORD, __int64, __int64))pXdvKeReleaseMutant)(Mutant, v4, v9, v8);
}