Searched defs:newCap (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/ |
H A D | struct2.c | 75 void do_call(struct s newCap, struct sc *s, struct sc *d) argument
|
/seL4-l4v-master/seL4/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 83 milliseconds