KeInitializeMutex

VOID __stdcall KeInitializeMutex(_KMUTANT *Mutant, UINT64 Level){
  KiInitializeMutant(Mutant, 0, 1u);
}

Referenced by: