src/object/untyped.c

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,