listSET_LIST_ITEM_VALUE(&(pxTCB->xEventListItem),((TickType_t)configMAX_PRIORITIES-(TickType_t)uxNewPriority));/*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)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. */