portYIELD or taskYIELD

I’m using FreeRTOS 10.0.1 with Infineon DAVE.
All the FreeRTOS docs seem to point to the use taskYIELD_FROM_ISR
I saw a bug report : https://sourceforge.net/p/freertos/bugs/198/
But I can’t tell if the way forward is port… or task…
Which is it?

DAVE doesn’t have a taskYIELD_FROM_ISR().

Use portYIELD_FROM_ISR(). I would be grateful if you can point out where it says taskYIELD_FROM_ISR() so we can update it.

[edit]You can past a link to where ever the reference is in github https://github.com/FreeRTOS [/edit]

My apologies. I think, after looking at so many old postings taskYield_FROM_ISR was in the documentation. It still is hard to find in the documentation, but …