taskYIELD not working

I’ve got an ISR which may unblock another task, so I added a call to taskYIELD() as the very last thing in my ISR which gets called if a higher priority task has been woken. However, when I run my program it crashes on the call to taskYIELD().
I’m not completely sure why this is even needed as the RTOS should be able to cope with a context switch to a higher task anyway shouldn’t it?
Thanks, aul.

taskYIELD not working

I have no means of assisting you as you have not provided enough information.  On some ports what you are doing will work, on others it won’t and a special call is needed. Please read the documentation page for the port you are using, and look at the examples provided for your port – both of which will demonstrate how to do what you are wanting to do. If you need further assistance here, then please read:
http://www.freertos.org/FAQ-how-to-use-the-FreeRTOS-support-forum.html
first. Regards.

taskYIELD not working

Okay, thanks.
I’ve found the relevant info for the AVR32 and I’ve included the necessary entry and exit functions for my ISR. I’ve declared the ISR using the naked attribute but I’m not sure whether to also use the interrupt attribute as well. Any ideas?
Thanks, Paul.