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;
}