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