Searched refs:newCap (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Dstruct2.c76 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 Dcnode.h36 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 Dcnode.c78 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