is portEND_SWITCHING_ISR the stm32f4 port of vPortYieldFromISR?
Posted on June 01, 2015 at 01:09Just that, I need to youse a freeRTOS semaphore on a ISR and need to use vPortYieldFromISR, but it's not defined. But I see on http://www.freertos.org/FreeRTOS-for-STM32F4xx-Cortex-M4F-IAR.html that portEND_SWITCHING_...