AnsweredAssumed Answered

is portEND_SWITCHING_ISR the stm32f4 port of vPortYieldFromISR?

Question asked by elgarbe on Jun 1, 2015
Just 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 that portEND_SWITCHING_ISR is used on ISR.
So just to be sure, it's portEND_SWITCHING_ISR the macro that should be use insted of vPortYieldFromISR?