ZwReleaseMutant

NTSTATUS __stdcall ZwReleaseMutant(PVOID MutantHandle, INT64 *PreviousCount){
  NTSTATUS result; 
  _disable();
  __readeflags();
  KiServiceInternal();
  return result;
}

Referenced by:

BiReleaseBcdSyncMutant