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

/seL4-camkes-master/kernel/src/object/
H A Dcnode.c234 word_t srcNewData, srcIndex, srcDepth; local
246 srcNewData = getSyscallArg(5, buffer);
292 newSrcCap = updateCapData(true, srcNewData, srcSlot->cap);

Completed in 41 milliseconds