/* Context switch functions. These are both interrupt service routines. Manual context switch forced by calling portYIELD(). This is the SWI handler.  */
void interrupt vPortYield(void)
/* Context switch functions. These are both interrupt service routines. Manual context switch forced by calling portYIELD(). This is the SWI handler.  */
void interrupt vPortYield(void)
{
	portSAVE_CONTEXT();
	vTaskSwitchContext();
	portRESTORE_CONTEXT();
}