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((&xPendingReadyList));/*lint !e9079 void * is used as this macro is used with timers 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(pxFirstTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
do
do
{
{
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. */
listGET_OWNER_OF_NEXT_ENTRY(pxNextTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
/* Check each character in the name looking for a match or
/* Check each character in the name looking for a match or
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. */
pxTCB=listGET_OWNER_OF_HEAD_ENTRY(pxDelayedTaskList);/*lint !e9079 void * is used as this macro is used with timers too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
/* Select a new task to run using either the generic C or port
/* Select a new task to run using either the generic C or port
*optimisedasmcode.*/
*optimisedasmcode.*/
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. */
taskSELECT_HIGHEST_PRIORITY_TASK();/*lint !e9079 void * is used as this macro is used with timers too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
traceTASK_SWITCHED_IN();
traceTASK_SWITCHED_IN();
/* After the new task is switched in, update the global errno. */
/* After the new task is switched in, update the global errno. */
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. */
pxUnblockedTCB=listGET_OWNER_OF_HEAD_ENTRY(pxEventList);/*lint !e9079 void * is used as this macro is used with timers too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
/* Remove the event list form the event flag. Interrupts do not access
/* Remove the event list form the event flag. Interrupts do not access
*eventflags.*/
*eventflags.*/
pxUnblockedTCB=listGET_LIST_ITEM_OWNER(pxEventListItem);/*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_LIST_ITEM_OWNER(pxEventListItem);/*lint !e9079 void * is used as this macro is used with timers 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((&xTasksWaitingTermination));/*lint !e9079 void * is used as this macro is used with timers 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(pxFirstTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers 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. */
listGET_OWNER_OF_NEXT_ENTRY(pxNextTCB,pxList);/*lint !e9079 void * is used as this macro is used with timers 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. */
Timer_t*constpxTimer=(Timer_t*)listGET_OWNER_OF_HEAD_ENTRY(pxCurrentTimerList);/*lint !e9087 !e9079 void * is used as this macro is used with tasks too. Alignment is known to be fine as the type of the pointer stored and retrieved is the same. */
/* Remove the timer from the list of active timers. A check has already
/* Remove the timer from the list of active timers. A check has already