Searched refs:newCap (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
H A D | struct2.c | 76 do_call(struct s newCap, struct sc *s, struct sc *d) { argument 81 d->cap = newCap;
|
/seL4-l4v-10.1.1/seL4/include/object/ |
H A D | cnode.h | 36 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot); 37 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | cnode.c | 78 cap_t srcRoot, newCap; local 130 newCap = dc_ret.cap; 151 newCap = dc_ret.cap; 157 newCap = srcSlot->cap; 170 newCap = updateCapData(true, capData, srcSlot->cap); 180 if (cap_get_capType(newCap) == cap_null_cap) { 188 return invokeCNodeMove(newCap, srcSlot, destSlot); 190 return invokeCNodeInsert(newCap, srcSlot, destSlot); 399 setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) argument 402 && (cap_get_capType(newCap) 414 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument 450 cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument [all...] |
Completed in 78 milliseconds