Searched refs:pxCurrentTxThread (Results 1 – 1 of 1) sorted by relevance
60 …TX_THREAD *pxCurrentTxThread = _tx_thread_current_ptr == TX_NULL ? &pxIdleTxThreadDummy : _tx_thre… in xTraceCheckThreadSwitch() local62 if (pxCurrentTxThread != pxLastRunningTxThread) { in xTraceCheckThreadSwitch()64 pxLastRunningTxThread = pxCurrentTxThread; in xTraceCheckThreadSwitch()73 xTraceEventAddPointer(xTraceHandle, (void*)pxCurrentTxThread); in xTraceCheckThreadSwitch()