Searched refs:OS_SetCurrentThread (Results 1 – 2 of 2) sorted by relevance
610 static inline void OS_SetCurrentThread(OSThread *thread) in OS_SetCurrentThread() function
478 OS_SetCurrentThread(nextThread); in OSi_RescheduleThread()536 OS_SetCurrentThread(&OSi_LauncherThread); in OS_InitThread()