| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | check_objects.cpp | 145 PolyObject *obj = pt.AsObjPtr(); local
|
| H A D | gc_check_weak_ref.cpp | 81 void MTGCCheckWeakRef::ScanAddressesInObject(PolyObject *obj, POLYUNSIGNED L) argument
|
| H A D | gc_copy_phase.cpp | 280 PolyObject *obj = (PolyObject*)(old+1); local
|
| H A D | gc_update_phase.cpp | 67 static void UpdateAddress(PolyObject *&obj) argument
78 PolyObject *MTGCProcessUpdate::ScanObjectAddress(PolyObject *obj) argument
92 PolyObject *obj local
156 PolyObject *obj = (PolyObject*)pt; local
184 PolyObject *obj = val.AsObjPtr(); local
[all...] |
| H A D | scanaddrs.cpp | 67 void ScanAddress::ScanAddressesInObject(PolyObject *obj, POLYUNSIGNED lengthWord) argument
177 PolyObject *obj = (PolyObject*)pt; local
[all...] |
| H A D | machoexport.cpp | 398 PolyObject *obj = (PolyObject*)p; local
|
| H A D | pecoffexport.cpp | 283 PolyObject *obj = (PolyObject*)p; local
|
| H A D | objsize.cpp | 348 Handle ObjSize(TaskData *taskData, Handle obj) argument
355 Handle ShowSize(TaskData *taskData, Handle obj) argument
377 POLYUNSIGNED PolyObjSize(FirstArgument threadId, PolyWord obj) argument
391 PolyShowSize(FirstArgument threadId, PolyWord obj) argument
406 PolyObjProfile(FirstArgument threadId, PolyWord obj) argument
[all...] |
| H A D | quick_gc.cpp | 188 PolyObject *QuickGCScanner::FindNewAddress(PolyObject *obj, POLYUNSIGNED L, LocalMemSpace *srcSpace) argument
354 PolyObject *obj = val.AsObjPtr(); local
505 PolyObject *obj = (PolyObject*)(space->partialGCScan+1); local
[all...] |
| H A D | gc_mark_phase.cpp | 120 void PushToStack(PolyObject *obj, PolyWord *currentPtr = 0) argument
174 inline PolyObject *FollowForwarding(PolyObject *obj) argument
210 StackOverflow(PolyObject *obj) argument
228 ForkNew(PolyObject *obj) argument
340 PolyObject *obj = (*pt).AsObjPtr(); local
349 ScanObjectAddress(PolyObject *obj) argument
419 ScanAddressesInObject(PolyObject *obj, POLYUNSIGNED lengthWord) argument
629 ScanAddressesInObject(PolyObject *obj, POLYUNSIGNED lengthWord) argument
712 PolyObject *obj = (PolyObject*)++pt; local
776 PolyObject *obj = (PolyObject*)(pt+1); local
[all...] |
| H A D | pexport.cpp | 306 PolyObject *obj = (PolyObject*)p; local
333 PolyObject *obj = (PolyObject*)p; local
480 POLYUNSIGNED obj; local
828 POLYUNSIGNED obj; local
[all...] |
| H A D | sharedata.cpp | 550 PolyObject* obj = ptrVector[i]; local
580 PolyObject *obj = ptrVector[i]; local
624 PolyObject *obj local
688 PolyObject *obj = addStack[i]; local
711 AddObjectToDepthVector(PolyObject *obj) argument
799 PushToStack(PolyObject *obj) argument
[all...] |
| H A D | memmgr.cpp | 537 PolyObject *obj = (PolyObject*)(ptr+1); local
831 PolyObject *obj = (PolyObject*)(space->firstFree+1); local
840 PolyObject *obj = (PolyObject*)(pt+1); local
[all...] |
| H A D | gc_share_phase.cpp | 195 void SortVector::AddToVector(PolyObject *obj, POLYUNSIGNED length) argument
222 struct { PolyObject *obj; PolyWord *base; } stack[RSTACK_SEGMENT_SIZE]; member in struct:RScanStack::__anon4
267 PolyObject *RecursiveScanWithStack::ScanObjectAddress(PolyObject *obj) argument
296 ScanAddressesInObject(PolyObject *obj, POLYUNSIGNED lengthWord) argument
402 PushToStack(PolyObject *obj, PolyWord *base) argument
429 PopFromStack(PolyObject *&obj, PolyWord *&base) argument
488 ScanObjectAddress(PolyObject *obj) argument
500 PolyObject *obj; local
534 MarkAsScanning(PolyObject *obj) argument
543 Completed(PolyObject *obj) argument
[all...] |
| H A D | elfexport.cpp | 679 PolyObject *obj = (PolyObject*)p; local
|
| H A D | exporter.cpp | 282 PolyObject *obj = *pt; local
525 GetObjLength(PolyObject *obj) argument
557 PolyObject *obj = (PolyObject*)pt; local
[all...] |
| H A D | profiling.cpp | 252 PolyObject *obj = (PolyObject*)ptr; local
418 AddObjectProfile(PolyObject *obj) argument
[all...] |
| H A D | savestate.cpp | 423 PolyObject *SaveFixupAddress::ScanObjectAddress(PolyObject *obj) argument
453 PolyObject *obj = (PolyObject*)pt; local
602 PolyObject *obj = (PolyObject*)pt; local
715 PolyObject *obj = (PolyObject*)p; local
[all...] |
| H A D | interpret.cpp | 685 PolyObject *obj = (*sp).w().AsObjPtr(); local
990 PolyObject *obj = (*sp).w().AsObjPtr(); local
[all...] |
| H A D | xwindows.cpp | 3883 PolyObject *obj = p.AsObjPtr(); local
3894 PolyObject *obj = p.AsObjPtr(); local
9470 PolyObject *obj local
9496 PolyObject *obj = c->widget_object; local
9515 PolyObject *obj = FList.AsObjPtr(); local
9523 PolyObject *obj = GList.AsObjPtr(); local
[all...] |
| /seL4-l4v-master/seL4/manual/parts/ |
| H A D | io.tex | [all...] |
| /seL4-l4v-master/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 38 val obj = ref NONE value
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibClause.sml | 127 datatype obj = Pred of term | Eq of term; type
|
| /seL4-l4v-master/HOL4/src/quotient/examples/sigma/ |
| H A D | liftScript.sml | 36 val obj = ty_antiq( ==`:obj1`== ); value
1627 val obj = ty_antiq( ==`:obj`== ); value
[all...] |
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 175 void mlbdd_finalize(value obj) argument
217 EXTERNML value mlbdd_toBool(value obj) /* ML */ argument
848 BVEC BVEC_val(value obj) { argument
858 void mlbdd_finalize_bvec(value obj) argument
|