src/object/cnode.c

80         cap_t srcCap;
124             srcCap = maskCapRights(cap_rights, srcSlot->cap);
125             dc_ret = deriveCap(srcSlot, srcCap);
144             srcCap = maskCapRights(cap_rights, srcSlot->cap);
146                                updateCapData(false, capData, srcCap));
399 setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot)
401     if ((cap_get_capType(srcCap) == cap_untyped_cap)
403         if ((cap_untyped_cap_get_capPtr(srcCap)
406                     == cap_untyped_cap_get_capBlockSize(srcCap))) {
408                                                  MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(srcCap)));
417     cap_t srcCap;
421     srcCap = srcSlot->cap;
423     newCapIsRevocable = isCapRevocable(newCap, srcCap);
437     setUntypedCapAsFull(srcCap, newCap, srcSlot);