For debug purpose I would like to know value of counting semaphore before giving semaphore.
Is there a function that returns count value?
If you are using V9.0.0rc2 then you can use uxSemaphoreGetCount(),
otherwise you can use uxQueueMessagesWaiting()
and just cast the SemaphoreHandlet to a QueueHandlet for the