Searched refs:TaskP_restoreScheduler (Results 1 – 2 of 2) sorted by relevance
255 extern void TaskP_restoreScheduler(uintptr_t key);
228 void TaskP_restoreScheduler(uintptr_t key) in TaskP_restoreScheduler() function
