I am trying to figure out the purpose of the following bit of code in the LM3S811 example:

portEND_SWITCHING_ISR( xHigherPriorityTaskWoken );

It occurs right after giving the semaphore. I expected to find this documentation under the 'FreeRTOS MPU Specific' area but no joy. I have omitted it in my application and all seems well... not that this means a whole lot.

Note that is a really, really, really old demo, and does not demonstrate many of the new features.

The macro is mentioned in the Interrupt Service Routines section on the documentation page for the demo (which is also really old). http://www.freertos.org/portlm3s811keil.html

The API documentation pages for the ISR safe API also gives some information, although note the comment that the macro names are not always consistent between ports:

An example http://www.freertos.org/a00119.html

Regards.