Lines Matching refs:userObjSize
30 word_t newType, userObjSize, nodeIndex;
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,