Searched refs:Arch_switchToIdleThread (Results 1 – 9 of 9) sorted by relevance
13 void Arch_switchToIdleThread(void);
12 void Arch_switchToIdleThread(void);
28 void Arch_switchToIdleThread(void) in Arch_switchToIdleThread() function
31 void Arch_switchToIdleThread(void) in Arch_switchToIdleThread() function
37 void Arch_switchToIdleThread(void) in Arch_switchToIdleThread() function
41 void Arch_switchToIdleThread(void) in Arch_switchToIdleThread() function
47 void Arch_switchToIdleThread(void) in Arch_switchToIdleThread() function
463 Arch_switchToIdleThread(); in switchToIdleThread()
Completed in 11 milliseconds