Есть процесс с приоритетом OS::pr4. В нем вызывается функция, примерно следующего содержания:


Если на UMutex.Unlock(); приходит с ProcessMap = 0, то все работает.
Если ProcessMap != 0, то внутри Unlock() все отрабатыватывает вроде верно. Но после возврата в этот процесс (т.е. на return ret;) получается, что ValueTag вдруг стал != 0... Соответственно, мьютекс больше не захватится.

Если ProcessMap !=0, значит какой-то другой процесс тоже хочет захватить этот Mutex. Внутри Unlock() после освобождения мутекса наиболее активный процесс из ProcessMap переводится в активное состояние и, если его приоритет выше приоритета текущего прооцесса, он сразу же получит управление. Получив управление этот второй процесс захватит мутекс, отсюда value !=0. А вот почему он его больше не освобождает - ищите в логике своей программы.