listSET_LIST_ITEM_VALUE(&(pxTCB->xEventListItem),(TickType_t)configMAX_PRIORITIES-(TickType_t)pxTCB->uxPriority);/*lint !e961 MISRA exception as the casts are only redundant for some ports. */
listSET_LIST_ITEM_VALUE(&(pxTCB->xEventListItem),(TickType_t)configMAX_PRIORITIES-(TickType_t)uxPriorityToUse);/*lint !e961 MISRA exception as the casts are only redundant for some ports. */
while(xQueueReceive(xTimerQueue,&xMessage,tmrNO_DELAY)!=pdFAIL)/*lint !e603 xMessage does not have to be initialised as it is passed out, not in, and it is not used unless xQueueReceive() returns pdTRUE. */