Searched defs:newCap (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/object/ |
| H A D | cnode.c | 79 cap_t srcRoot, newCap; local
396 static void setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) argument
410 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
445 cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
[all...] |
| H A D | tcb.c | 1671 installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot, tcb_cnode_index_t index, cap_t newCap, cte_t *srcSlot) argument
|
Completed in 48 milliseconds