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

/seL4-camkes-master/kernel/include/object/
H A Dobjecttype.h23 cap_t CONST updateCapData(bool_t preserve, word_t newData, cap_t cap);
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c147 updateCapData(false, capData, srcCap));
171 newCap = updateCapData(true, capData, srcSlot->cap);
292 newSrcCap = updateCapData(true, srcNewData, srcSlot->cap);
293 newPivotCap = updateCapData(true, pivotNewData, pivotSlot->cap);
H A Dtcb.c1096 cRootCap = updateCapData(false, cRootData, cRootCap);
1112 vRootCap = updateCapData(false, vRootData, vRootCap);
1488 cRootCap = updateCapData(false, cRootData, cRootCap);
1504 vRootCap = updateCapData(false, vRootData, vRootCap);
H A Dobjecttype.c394 cap_t CONST updateCapData(bool_t preserve, word_t newData, cap_t cap) function

Completed in 46 milliseconds