Home
last modified time | relevance | path

Searched defs:pxThreadToResume (Results 1 – 1 of 1) sorted by relevance

/Kernel-v11.1.0/portable/ThirdParty/GCC/Posix/
Dport.c421 Thread_t * pxThreadToResume; in vPortSystemTickHandler() local
512 static void prvSwitchThread( Thread_t * pxThreadToResume, in prvSwitchThread()