I am trying to understand how the following function works (part of the FreeRTOS). I know what it does (there are reasonable comments next to it), but I don\'t really unders
