Searched refs:newType (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c36 word_t newType, userObjSize, nodeIndex; local
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_
275 invokeUntyped_Retype(cte_t *srcSlot, bool_t reset, void* retypeBase, object_t newType, word_t userSize, slot_range_t destSlots, bool_t deviceMemory) argument
[all...]
/seL4-l4v-10.1.1/seL4/include/object/
H A Duntyped.h40 void* retypeBase, object_t newType,
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DCOPIER.sml207 val newType = copyTyp typeOf; value
209 if not (identical (newType, typeOf))
210 then Value{name=name, typeOf=newType, class=class,
227 val newType = copyTyp typeOf; value
231 if not (identical (newType, typeOf))
232 then Value {typeOf=newType, class=class, name=name, instanceTypes=instanceTypes,
H A DPARSETREESIG.sml116 { newType: string, oldType: string,
H A DSIGNATURES.sml1154 val newType = value
1165 #enterType structEnv(name, newType)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DPRINT_PARSETREE.sml409 | DatatypeReplication {newType, oldType, ...} =>
414 PrettyString newType,
H A DBASE_PARSE_TREE.sml156 newType: string,
H A DBaseParseTreeSig.sml159 newType: string,
H A DTYPECHECK_PARSETREE.sml1034 | DatatypeReplication{oldType, newType, oldLoc, newLoc, ...} =>
1056 val newName = newType
1077 val newType = copyTyp typeOf; value
1088 Value{name=cName, typeOf=newType, class=class, access=newAccess, locations=locations,
1102 (#enterType env) (newType, newTypeCons);

Completed in 65 milliseconds