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. */
portRESET_READY_PRIORITY(pxCurrentTCB->uxPriority,uxTopReadyPriority);/*lint !e931 pxCurrentTCB cannot change as it is the calling task. pxCurrentTCB->uxPriority and uxTopReadyPriority cannot change as called with scheduler suspended or in a critical section. */