C++ (Cpp) Arch_switchToIdleThread примеры использования

Пример #1

Файл: thread.c Проект: aoom/seL4

void
switchToIdleThread(void)
{
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
    benchmark_utilisation_switch(ksCurThread, ksIdleThread);
#endif
    Arch_switchToIdleThread();
    ksCurThread = ksIdleThread;
}

Пример #2

Файл: thread.c Проект: haitao52198/HD-Elastos

void
switchToIdleThread(void)
{
    Arch_switchToIdleThread();
    ksCurThread = ksIdleThread;
}