| 4161 | /*-----------------------------------------------------------*/ |
| 4162 | |
| 4163 | void vTaskMissedYield( void ) |
| 4164 | { |
| 4165 | /* Must be called from within a critical section */ |
| 4166 | xYieldPendings[ portGET_CORE_ID() ] = pdTRUE; |
| 4167 | } |
| 4168 | /*-----------------------------------------------------------*/ |
| 4169 | |
| 4170 | #if ( configUSE_TRACE_FACILITY == 1 ) |