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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c281 word_t totalObjectSize; local
295 totalObjectSize = destSlots.length << getObjectSize(newType, userSize);
296 freeRef = (word_t)retypeBase + totalObjectSize;
H A Dobjecttype.c495 word_t totalObjectSize UNUSED;
499 totalObjectSize = slots.length << objectSize;
501 \<or> \<acute>totalObjectSize <= gs_get_assn cap_get_capSizeBits_'proc \<acute>ghost'state, id)" */

Completed in 86 milliseconds