C++ (Cpp) Arch_switchToThread Examples

Programming Language: C++ (Cpp)

Method/Function: Arch_switchToThread

Examples at hotexamples.com: 2

C++ (Cpp) Arch_switchToThread - 2 examples found. These are the top rated real world C++ (Cpp) examples of Arch_switchToThread extracted from open source projects. You can rate examples to help us improve the quality of examples.

Example #1

Show file

File: thread.c Project: haitao52198/HD-Elastos

void
switchToThread(tcb_t *thread)
{
    Arch_switchToThread(thread);
    tcbSchedDequeue(thread);
    ksCurThread = thread;
}

Example #2

Show file

File: thread.c Project: aoom/seL4

void
switchToThread(tcb_t *thread)
{
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
    benchmark_utilisation_switch(ksCurThread, thread);
#endif
    Arch_switchToThread(thread);
    tcbSchedDequeue(thread);
    ksCurThread = thread;
}