ViKeInitializeMutexCommon

VOID __stdcall ViKeInitializeMutexCommon(_KMUTANT *Mutex, UINT64 Level){
  unsigned int v2; 

  v2 = Level;
  VfUtilSynchronizationObjectSanityChecks(Mutex, 0x38u);
  ((void(__fastcall *)(_KMUTANT *, _QWORD))pXdvKeInitializeMutex)(Mutex, v2);
}

Referenced by:

VerifierKeInitializeMutex
VerifierKeInitializeMutexNoReboot