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