src/object/untyped.c

236 resetUntypedCap(cte_t *srcSlot)
238     cap_t prev_cap = srcSlot->cap;
259         srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, 0);
264             srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset));
275 invokeUntyped_Retype(cte_t *srcSlot,
282     void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(srcSlot->cap));
285     freeRef = GET_FREE_REF(regionBase, cap_untyped_cap_get_capFreeIndex(srcSlot->cap));
288         status = resetUntypedCap(srcSlot);
297     srcSlot->cap = cap_untyped_cap_set_capFreeIndex(srcSlot->cap,
301     createNewObjects(newType, srcSlot, destSlots, retypeBase, userSize,