According to the documentation xSemaphoreGiveFromISR returns pdTRUE if the semaphore was successfully given, otherwise errQUEUE_FULL. What is the meaning of errQUEUE_FULL? Does it mean that the semaphore was already given?
It would be useful for debugging reasons to know if an interrupt is giving a semaphore without a task taking the semaphore. How can this be accomplished?