PRIVILEGED_DATAstaticvolatileTickType_txNextTaskUnblockTime=(TickType_t)0U;/* Initialised to portMAX_DELAY before the scheduler starts. */
PRIVILEGED_DATAstaticTaskHandle_txIdleTaskHandle=NULL;/*< Holds the handle of the idle task. The idle task is created automatically when the scheduler is started. */
/* Improve support for OpenOCD. The kernel tracks Ready tasks via priority lists.