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

/seL4-l4v-master/seL4/src/object/
H A Dtcb.c1862 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 35 milliseconds