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

/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c233 cap_t pivotRoot, srcRoot, newSrcCap, newPivotCap; local
290 newPivotCap = updateCapData(true, pivotNewData, pivotSlot->cap);
298 if (cap_get_capType(newPivotCap) == cap_null_cap) {
305 return invokeCNodeRotate(newSrcCap, newPivotCap,

Completed in 82 milliseconds