Searched defs:vRoot_srcSlot (Results 1 – 1 of 1) sorted by relevance
| /seL4-master/src/object/ | ||
| A D | tcb.c | 1694 cap_t vRoot_newCap, cte_t *vRoot_srcSlot, in invokeTCB_ThreadControlCaps() |
Completed in 10 milliseconds