PRIVILEGED_DATAstaticList_txPendingReadyList;/*< Tasks that have been readied while the scheduler was suspended. They will be moved to the ready list when the scheduler is resumed. */
listGET_OWNER_OF_NEXT_ENTRY(pxFirstTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
listGET_OWNER_OF_NEXT_ENTRY(pxNextTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
taskSELECT_HIGHEST_PRIORITY_TASK();/*lint !e9079 void * is used as this macro is used with timers and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
listGET_OWNER_OF_NEXT_ENTRY(pxFirstTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
listGET_OWNER_OF_NEXT_ENTRY(pxNextTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */