KeInitializeMutex

VOID *__stdcall KeInitializeMutex(PRKMUTEX Mutex, UINT32 Level){
  VOID *result; 

  KiInitializeMutant(Mutex, 0, 1u);
  return result;
}

Referenced by: