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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c36 word_t newType, userObjSize, nodeIndex; local
66 userObjSize = getSyscallArg(1, buffer);
82 objectSize = getObjectSize(newType, userObjSize);
84 /* Exclude impossibly large object sizes. getObjectSize can overflow if userObjSize
86 did not happen. userObjSize will always need to be less than wordBits. */
87 if (userObjSize >= wordBits || objectSize > seL4_MaxUntypedBits) {
96 if (newType == seL4_CapTableObject && userObjSize == 0) {
104 if (newType == seL4_UntypedObject && userObjSize < seL4_MinUntypedBits) {
231 (void*)alignedFreeRef, newType, userObjSize,
H A Dobjecttype.c33 word_t getObjectSize(word_t t, word_t userObjSize) argument
46 return seL4_SlotBits + userObjSize;
48 return userObjSize;
/seL4-l4v-10.1.1/seL4/include/object/
H A Dobjecttype.h43 word_t getObjectSize(word_t t, word_t userObjSize);

Completed in 39 milliseconds