VOID __stdcall VerifierKeInitializeMutex(_KMUTANT *Mutex, UINT64 Level){ _VI_DEADLOCK_RESOURCE_TYPE v3; UINT64 v4; VOID *retaddr; ViKeInitializeMutexCommon(Mutex, Level); VfDeadlockInitializeResource(Mutex, v3, retaddr, v4); }