| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | PortableMlton.sml | 69 fun pt () = function
|
| H A D | PortablePolyml.sml | 60 fun pt () = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | PortableMlton.sml | 69 fun pt () = function
|
| H A D | PortablePolyml.sml | 60 fun pt () = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | check_objects.cpp | 47 static void CheckAddress(PolyWord *pt) argument
77 DoCheck(const PolyWord pt) argument
89 ScanObjectAddress(PolyObject *pt) argument
95 PolyWord *pt = (PolyWord*)base; local
129 DoCheckPointer(const PolyWord pt) argument
[all...] |
| H A D | scanaddrs.h | 57 virtual void ScanRuntimeAddress(PolyObject **pt, RtsStrength weak) argument
|
| H A D | gc_check_weak_ref.cpp | 60 void MTGCCheckWeakRef::ScanRuntimeAddress(PolyObject **pt, RtsStrength weak) argument
|
| H A D | gc_update_phase.cpp | 91 void MTGCProcessUpdate::ScanRuntimeAddress(PolyObject **pt, RtsStrength/* weak*/) argument
103 POLYUNSIGNED MTGCProcessUpdate::ScanAddressAt(PolyWord *pt) argument
131 PolyWord *pt = area->upperAllocPtr; local
[all...] |
| H A D | exporter.h | 54 void createRelocation(PolyWord *pt) { *pt = createRelocation(*pt, pt); } argument
|
| H A D | objsize.cpp | 82 virtual POLYUNSIGNED ScanAddressAt(PolyWord *pt) { return ShowWord(*pt); } argument
|
| H A D | quick_gc.cpp | 138 static bool atomiclySetForwarding(LocalMemSpace *space, POLYUNSIGNED *pt, argument
319 POLYUNSIGNED QuickGCScanner::ScanAddressAt(PolyWord *pt) argument
[all...] |
| H A D | scanaddrs.cpp | 45 POLYUNSIGNED ScanAddress::ScanAddressAt(PolyWord *pt) argument
149 PolyWord *pt = region; local
187 byte *pt = addressOfConstant; local
197 byte *pt = addressOfConstant; local
[all...] |
| H A D | exporter.cpp | 264 POLYUNSIGNED CopyScan::ScanAddressAt(PolyWord *pt) argument
462 static void FixForwarding(PolyWord *pt, POLYUNSIGNED space) argument
723 void Exporter::relocateValue(PolyWord *pt) argument
[all...] |
| H A D | gc_mark_phase.cpp | 298 bool MTGCProcessMarkPointers::TestForScan(PolyWord *pt) argument
334 void MTGCProcessMarkPointers::MarkAndTestForScan(PolyWord *pt) argument
400 ScanRuntimeAddress(PolyObject **pt, RtsStrength weak) argument
677 SetBitmaps(LocalMemSpace *space, PolyWord *pt, PolyWord *top) argument
734 PolyWord *pt = space->bottom; local
[all...] |
| H A D | gc_share_phase.cpp | 198 bool GetSharing::TestForScan(PolyWord *pt) argument
|
| H A D | process_env.cpp | 526 PolyObject *pt = DEREFWORDHANDLE(args); local
708 PolyObject *pt = fnAddr.AsObjPtr(); local
|
| H A D | sharedata.cpp | 242 void ShareDataClass::AddToVector(POLYUNSIGNED depth, POLYUNSIGNED length, PolyObject *pt) argument
277 void DepthVectorWithVariableLength::AddToVector(POLYUNSIGNED L, PolyObject *pt) argument
326 void DepthVectorWithFixedLength::AddToVector(POLYUNSIGNED L, PolyObject *pt) argument
606 ScanAddressAt(PolyWord *pt) argument
653 ScanAddressAt(PolyWord *pt) argument
847 PolyWord *pt = (PolyWord*)obj; local
877 PolyWord *pt = (PolyWord*)obj; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | MLSYSPortable.sml | 44 fun pt () = function
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | TermParse.sml | 29 val pt = parse_term G ty value
192 val (pt,e') = ptE e value
[all...] |
| H A D | Parse_support.sml | 53 val (pt, env:env) = tm_in_e (fupd_ptyE (K e) empty_env) value
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | iospace.c | 70 iopte_t *pt; local
|
| /seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
| H A D | parsePMATCH.sml | 249 val (pt, E') = recursor rh (push allvars guardE) value
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 284 pte_ptr_get_present(pte_t *pt) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 112 pte_t* pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(pt_cap)); local
139 pte_t* pt; local
|
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | drules.tex | [all...] |