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

/seL4-test-master/kernel/src/object/
H A Duntyped.c30 word_t newType, userObjSize, nodeIndex; local
60 userObjSize = getSyscallArg(1, buffer);
76 objectSize = getObjectSize(newType, userObjSize);
78 /* Exclude impossibly large object sizes. getObjectSize can overflow if userObjSize
80 did not happen. userObjSize will always need to be less than wordBits. */
81 if (userObjSize >= wordBits || objectSize > seL4_MaxUntypedBits) {
90 if (newType == seL4_CapTableObject && userObjSize == 0) {
98 if (newType == seL4_UntypedObject && userObjSize < seL4_MinUntypedBits) {
106 if (newType == seL4_SchedContextObject && userObjSize < seL4_MinSchedContextBits) {
234 (void *)alignedFreeRef, newType, userObjSize,
[all...]
H A Dobjecttype.c33 word_t getObjectSize(word_t t, word_t userObjSize) argument
46 return seL4_SlotBits + userObjSize;
48 return userObjSize;
51 return userObjSize;
/seL4-test-master/kernel/include/object/
H A Dobjecttype.h51 word_t getObjectSize(word_t t, word_t userObjSize);

Completed in 85 milliseconds