Searched refs:suspend (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread.h161 * @param suspend true if the thread should be suspended
165 int sel4utils_checkpoint_thread(sel4utils_thread_t *thread, sel4utils_checkpoint_t *checkpoint, bool suspend);
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c321 sel4utils_checkpoint_thread(sel4utils_thread_t *thread, sel4utils_checkpoint_t *checkpoint, bool suspend) argument
325 int error = seL4_TCB_ReadRegisters(thread->tcb.cptr, suspend, 0, sizeof(seL4_UserContext) / sizeof(seL4_Word),
/seL4-test-master/kernel/include/kernel/
H A Dthread.h174 void suspend(tcb_t *target);
/seL4-test-master/kernel/src/kernel/
H A Dthread.c69 void suspend(tcb_t *target) function
/seL4-test-master/kernel/src/object/
H A Dobjecttype.c197 suspend(tcb);
H A Dtcb.c1660 suspend(thread);
1868 suspend(tcb_src);
1926 suspend(tcb_src);
/seL4-test-master/kernel/manual/parts/
H A Dobjects.tex125 correctly formatted message will suspend the target thread.

Completed in 41 milliseconds