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

/seL4-test-master/kernel/src/object/
H A Dcnode.c235 cte_t *pivotSlot, *srcSlot; local
263 pivotSlot = lu_ret.slot;
265 if (pivotSlot == srcSlot || pivotSlot == destSlot) {
285 if (cap_get_capType(pivotSlot->cap) == cap_null_cap) {
293 newPivotCap = updateCapData(true, pivotNewData, pivotSlot->cap);
309 srcSlot, pivotSlot, destSlot);

Completed in 24 milliseconds