db9d9658f9
This commit moves xTaskIncrementTickOtherCores() to freertos_tasks_c_additions.h and freertos_idf_additions_priv.h (as API is private). This reduces the code differences cmpared to upstream FreeRTOS.