Lines Matching refs:newType
36 word_t newType, userObjSize, nodeIndex;
65 newType = getSyscallArg(0, buffer);
75 if (newType >= seL4_ObjectTypeCount) {
82 objectSize = getObjectSize(newType, userObjSize);
96 if (newType == seL4_CapTableObject && userObjSize == 0) {
104 if (newType == seL4_UntypedObject && userObjSize < seL4_MinUntypedBits) {
216 if ((deviceMemory && !Arch_isFrameType(newType))
217 && newType != seL4_UntypedObject) {
231 (void*)alignedFreeRef, newType, userObjSize,
277 object_t newType, word_t userSize,
295 totalObjectSize = destSlots.length << getObjectSize(newType, userSize);
301 createNewObjects(newType, srcSlot, destSlots, retypeBase, userSize,