NTSTATUS __stdcall VerifierKeReleaseMutex(_KMUTANT *Mutex, UINT8 Wait){
__int64 v4;
VOID *retaddr;
VfUtilCheckKernelAddress(Mutex, 0x38u);
VfDeadlockReleaseResource(Mutex, VfDeadlockMutex, KeGetCurrentThread(), retaddr);
LOBYTE(v4) = Wait;
return((__int64(__fastcall *)(_KMUTANT *, __int64))pXdvKeReleaseMutex)(Mutex, v4);
}