ViKeInitializeMutantCommon

VOID __stdcall ViKeInitializeMutantCommon(KMUTANT *Mutant, UINT8 InitialOwner){
  __int64 v4; 
  VfUtilSynchronizationObjectSanityChecks(Mutant, 0x38ui64);
  LOBYTE(v4) = InitialOwner;
  ((void(__fastcall *)(KMUTANT *, __int64))pXdvKeInitializeMutant)(Mutant, v4);
}

Referenced by:

VerifierKeInitializeMutant
VerifierKeInitializeMutantNoReboot