I’m using the SiLabs EFM32 (Arm Cortex M3) port. My question is this: does portYIELDFROMISR have to be literally the last statement in an ISR? Or is it al right for the portYIELDFROMISR statement to be near the end? (Presumeably the closer the end of the ISR the better?) Any thoughts on this?

On that device the portYIELDFROMISR() can appear anywhere in the ISR. NOTE: That statement does not apply to all FreeRTOS ports!

Thanks – knowing that means I can use the portYIELDFROMISR correctly in interrupt callback functions from library code.