Searched defs:cRoot_newCap (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 1690 invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot, cap_t fh_newCap, cte_t *fh_srcSlot, cap_t th_newCap, cte_t *th_srcSlot, cap_t cRoot_newCap, cte_t *cRoot_srcSlot, cap_t vRoot_newCap, cte_t *vRoot_srcSlot, word_t bufferAddr, cap_t bufferCap, cte_t *bufferSrcSlot, thread_control_flag_t updateFlags) argument
1752 invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, cptr_t faultep, prio_t mcp, prio_t priority, cap_t cRoot_newCap, cte_t *cRoot_srcSlot, cap_t vRoot_newCap, cte_t *vRoot_srcSlot, word_t bufferAddr, cap_t bufferCap, cte_t *bufferSrcSlot, thread_control_flag_t updateFlags) argument
|
Completed in 88 milliseconds