ZwReleaseMutant

NTSTATUS __stdcall ZwReleaseMutant(VOID *MutantHandle, INT64 *PreviousCount){
  NTSTATUS result; 

  _disable();
  __readeflags();
  KiServiceInternal();
  return result;
}

Referenced by:

BiReleaseBcdSyncMutant