in GCC/AVR_AVRDx/port.c [166:172]
void vPortYieldFromISR( void ) { portSAVE_CONTEXT(); vTaskSwitchContext(); portRESTORE_CONTEXT(); asm volatile ( "reti" ); }