Home
last modified time | relevance | path

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

/Kernel-v10.6.2/portable/ThirdParty/GCC/Posix/
Dport.c404 Thread_t * pxThreadToResume; in vPortSystemTickHandler() local
490 static void prvSwitchThread( Thread_t * pxThreadToResume, in prvSwitchThread()