chapter  10
8 Getting an Instance of a Counting Semaphore
Pages 6

If variable status contains the return value TX_SUCCESS, the highest-priority thread suspended on an instance of my_semaphore has been placed at the front of the suspension list.

10.11 Placing an Instance in a Counting Semaphore The tx_semaphore_put service places an instance in a counting semaphore, i.e., it increases the count by one. If there is a thread suspended on this semaphore when the put service is performed, the suspended thread’s get operation completes and that thread is resumed. Figure 10.9 shows how this service can be used.