Sorry for the silly question but are the macros in portmacro.h part of the API as far as the licensing GPL-exceptions are concerned?
I need to yield to a higher priority task after sending to a queue in an ISR. The example in xQueueSendFromISR () uses taskYIELD_FROM_ISR () but notes it’s port-specific.
In the NIOS II port the correct macro seems to be portEND_SWITCHING_ISR () - but that’s not part of the published API as far as I can tell. Though, as far as I can tell, neither was taskYIELD_FROM_ISR() …