Searched defs:suspend (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c321 sel4utils_checkpoint_thread(sel4utils_thread_t *thread, sel4utils_checkpoint_t *checkpoint, bool suspend) argument
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c69 void suspend(tcb_t *target) function

Completed in 65 milliseconds