ViKeInitializeMutantCommon

VOID __stdcall ViKeInitializeMutantCommon(_KMUTANT *Mutant, UINT8 InitialOwner){
  __int64 v4; 

  VfUtilSynchronizationObjectSanityChecks(Mutant, 0x38u);
  LOBYTE(v4) = InitialOwner;
  ((void(__fastcall *)(_KMUTANT *, __int64))pXdvKeInitializeMutant)(Mutant, v4);
}

Referenced by:

VerifierKeInitializeMutant
VerifierKeInitializeMutantNoReboot