Searched refs:pxThreadName (Results 1 – 1 of 1) sorted by relevance
139 static void prvPortSetCurrentThreadName(char * pxThreadName) in prvPortSetCurrentThreadName() argument142 pthread_setname_np(pxThreadName); in prvPortSetCurrentThreadName()144 pthread_setname_np(pthread_self(), pxThreadName); in prvPortSetCurrentThreadName()