Lines Matching refs:destSlot
46 cte_t *destSlot;
72 destSlot = lu_ret.slot;
93 status = ensureEmptySlot(destSlot);
189 return invokeCNodeMove(newCap, srcSlot, destSlot);
191 return invokeCNodeInsert(newCap, srcSlot, destSlot);
197 return invokeCNodeRevoke(destSlot);
202 return invokeCNodeDelete(destSlot);
207 status = ensureEmptySlot(destSlot);
214 return invokeCNodeSaveCaller(destSlot);
221 destCap = destSlot->cap;
265 if (pivotSlot == srcSlot || pivotSlot == destSlot) {
271 if (srcSlot != destSlot) {
272 status = ensureEmptySlot(destSlot);
309 srcSlot, pivotSlot, destSlot);
315 exception_t invokeCNodeRevoke(cte_t *destSlot)
317 return cteRevoke(destSlot);
320 exception_t invokeCNodeDelete(cte_t *destSlot)
322 return cteDelete(destSlot, true);
336 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot)
338 cteInsert(cap, srcSlot, destSlot);
343 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot)
345 cteMove(cap, srcSlot, destSlot);
364 exception_t invokeCNodeSaveCaller(cte_t *destSlot)
379 cteMove(cap, srcSlot, destSlot);
410 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot)
426 assert(cap_get_capType(destSlot->cap) == cap_null_cap);
428 assert((cte_t *)mdb_node_get_mdbNext(destSlot->cteMDBNode) == NULL &&
429 (cte_t *)mdb_node_get_mdbPrev(destSlot->cteMDBNode) == NULL);
435 destSlot->cap = newCap;
436 destSlot->cteMDBNode = newMDB;
437 mdb_node_ptr_set_mdbNext(&srcSlot->cteMDBNode, CTE_REF(destSlot));
441 CTE_REF(destSlot));
445 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot)
451 assert(cap_get_capType(destSlot->cap) == cap_null_cap);
453 assert((cte_t *)mdb_node_get_mdbNext(destSlot->cteMDBNode) == NULL &&
454 (cte_t *)mdb_node_get_mdbPrev(destSlot->cteMDBNode) == NULL);
457 destSlot->cap = newCap;
459 destSlot->cteMDBNode = mdb;
466 CTE_REF(destSlot));
472 CTE_REF(destSlot));