src/object/cnode.c

592     finaliseCap_ret_t fc_ret;
598         fc_ret = finaliseCap(slot->cap, final, false);
600         if (capRemovable(fc_ret.remainder, slot)) {
603             ret.cleanupInfo = fc_ret.cleanupInfo;
607         slot->cap = fc_ret.remainder;
609         if (!immediate && capCyclicZombie(fc_ret.remainder, slot)) {
612             ret.cleanupInfo = fc_ret.cleanupInfo;
707         finaliseCap_ret_t fc_ret UNUSED;
713         fc_ret = finaliseCap(slot->cap, final, true);
715         assert(capRemovable(fc_ret.remainder, slot) &&
716                cap_get_capType(fc_ret.cleanupInfo) == cap_null_cap);