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

/seL4-test-master/kernel/src/object/
H A Dtcb.c1916 exception_t invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, argument
1862 invokeTCB_CopyRegisters(tcb_t *dest, tcb_t *tcb_src, bool_t suspendSource, bool_t resumeTarget, bool_t transferFrame, bool_t transferInteger, word_t transferArch) argument

Completed in 30 milliseconds