/* Manual context switch. We can use a __nosavereg attribute as the context is to be saved by the portSAVE_CONTEXT() macro, not the compiler generated code.  */
__nosavereg __interrupt void vPortYield(void)
/* Manual context switch. We can use a __nosavereg attribute as the context is to be saved by the portSAVE_CONTEXT() macro, not the compiler generated code.  */
__nosavereg __interrupt void vPortYield(void)
{
	portSAVE_CONTEXT();
	vTaskSwitchContext();
	portRESTORE_CONTEXT();
}