Searched refs:newType (Results 1 - 9 of 9) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | untyped.c | 36 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 D | untyped.h | 40 void* retypeBase, object_t newType,
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | COPIER.sml | 207 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 D | PARSETREESIG.sml | 116 { newType: string, oldType: string,
|
H A D | SIGNATURES.sml | 1154 val newType = value 1165 #enterType structEnv(name, newType)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | PRINT_PARSETREE.sml | 409 | DatatypeReplication {newType, oldType, ...} => 414 PrettyString newType,
|
H A D | BASE_PARSE_TREE.sml | 156 newType: string,
|
H A D | BaseParseTreeSig.sml | 159 newType: string,
|
H A D | TYPECHECK_PARSETREE.sml | 1034 | 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