pxList->xListEnd.pxNext=(ListItem_t*)&(pxList->xListEnd);/*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM. This is checked and valid. */
pxTCB=listGET_OWNER_OF_HEAD_ENTRY((&xPendingReadyList));/*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. */
pxTCB=listGET_OWNER_OF_HEAD_ENTRY(pxDelayedTaskList);/*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. */
pxUnblockedTCB=listGET_OWNER_OF_HEAD_ENTRY(pxEventList);/*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. */
pxTCB=listGET_OWNER_OF_HEAD_ENTRY((&xTasksWaitingTermination));/*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. */
(pxTCB)=listGET_OWNER_OF_HEAD_ENTRY(pxDelayedTaskList);/*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. */
Timer_t*constpxTimer=(Timer_t*)listGET_OWNER_OF_HEAD_ENTRY(pxCurrentTimerList);/*lint !e9087 !e9079 void * is used as this macro is used with tasks and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
pxTimer=(Timer_t*)listGET_OWNER_OF_HEAD_ENTRY(pxCurrentTimerList);/*lint !e9087 !e9079 void * is used as this macro is used with tasks and co-routines too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */