VOID __stdcall VerifierKeInitializeMutant(_KMUTANT *Mutant, UINT8 InitialOwner){
_VI_DEADLOCK_RESOURCE_TYPE v4;
UINT64 v5;
VOID *Caller;
ViKeInitializeMutantCommon(Mutant, InitialOwner);
VfDeadlockInitializeResource(Mutant, v4, Caller, v5);
if( InitialOwner )
VfDeadlockAcquireResource(Mutant, VfDeadlockMutex, KeGetCurrentThread(), 0i64, Caller);
}