Searched refs:pxThisTCB (Results 1 – 1 of 1) sorted by relevance
801 const TCB_t * pxThisTCB; in prvCheckForRunStateChange() local808 pxThisTCB = pxCurrentTCBs[ portGET_CORE_ID() ]; in prvCheckForRunStateChange()810 while( pxThisTCB->xTaskRunState == taskTASK_SCHEDULED_TO_YIELD ) in prvCheckForRunStateChange()836 configASSERT( pxThisTCB->xTaskRunState == taskTASK_SCHEDULED_TO_YIELD ); in prvCheckForRunStateChange()843 configASSERT( pxThisTCB->xTaskRunState != taskTASK_SCHEDULED_TO_YIELD ); in prvCheckForRunStateChange()
