ViKeInitializeMutexCommon

VOID __stdcall ViKeInitializeMutexCommon(KMUTANT *Mutex, UINT64 Level){
  unsigned int v2; 
  v2 = Level;
  VfUtilSynchronizationObjectSanityChecks(Mutex, 0x38ui64);
  ((void(__fastcall *)(KMUTANT *, _QWORD))pXdvKeInitializeMutex)(Mutex, v2);
}

Referenced by:

VerifierKeInitializeMutex
VerifierKeInitializeMutexNoReboot