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

/seL4-mcs-10.1.1/include/object/
H A Dobjecttype.h28 cap_t CONST updateCapData(bool_t preserve, word_t newData, cap_t cap);
/seL4-mcs-10.1.1/src/object/
H A Dcnode.c146 updateCapData(false, capData, srcCap));
170 newCap = updateCapData(true, capData, srcSlot->cap);
278 newSrcCap = updateCapData(true, srcNewData, srcSlot->cap);
279 newPivotCap = updateCapData(true, pivotNewData, pivotSlot->cap);
H A Dtcb.c995 cRootCap = updateCapData(false, cRootData, cRootCap);
1011 vRootCap = updateCapData(false, vRootData, vRootCap);
1317 cRootCap = updateCapData(false, cRootData, cRootCap);
1333 vRootCap = updateCapData(false, vRootData, vRootCap);
H A Dobjecttype.c366 updateCapData(bool_t preserve, word_t newData, cap_t cap) function

Completed in 102 milliseconds