In the description of xSemaphoreGiveFromISR
at http://www.freertos.org/a00124.html
is written: "From FreeRTOS V7.3.0 pxHigherPriorityTaskWoken is an optional parameter and can be set to NULL."
The question is: If the parameter is NULL and there is higher priority task affected by the semaphore, will it automatically be switched after ISR - without portEND_SWITCHING_ISR( xHigherPriorityTaskWoken )
?