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