| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | check_objects.cpp | 49 MemSpace *space = gMem.SpaceForAddress(pt-1); local
98 MemSpace *space = gMem.SpaceForAddress(pt-1); local
158 LocalMemSpace *space = *i; local
165 PermanentMemSpace *space = *i; local
[all...] |
| H A D | gc_check_weak_ref.cpp | 111 LocalMemSpace *space = gMem.LocalSpaceForAddress(refAddress.AsStackAddr()); local
140 LocalMemSpace *space = *i; local
147 MemSpace *space = *i; local
[all...] |
| H A D | osmemwin.cpp | 90 void* OSMem::AllocateDataArea(size_t& space) argument
111 FreeDataArea(void* p, size_t space) argument
127 AllocateCodeArea(size_t& space, void*& shadowArea) argument
152 FreeCodeArea(void* codeAddr, void* dataAddr, size_t space) argument
169 EnableWrite(bool enable, void* p, size_t space) argument
175 DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space) argument
209 AllocateDataArea(size_t &space) argument
218 FreeDataArea(void *p, size_t space) argument
225 EnableWrite(bool enable, void* p, size_t space) argument
231 AllocateCodeArea(size_t& space, void*& shadowArea) argument
241 FreeCodeArea(void* codeAddr, void* dataAddr, size_t space) argument
247 DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space) argument
[all...] |
| H A D | rtsentry.cpp | 114 uintptr_t space = 1 + (strlen(entryName) + 1 + (isFuncPtr ? 0 : 1) + sizeof(polyRTSFunction*) - 1) / sizeof(PolyWord); local
|
| H A D | gc_update_phase.cpp | 80 LocalMemSpace *space = gMem.LocalSpaceForObjectAddress(obj); local
216 LocalMemSpace *space = (LocalMemSpace *)arg2; local
229 MemSpace *space = (MemSpace *)arg2; local
259 LocalMemSpace *space = *i; local
266 PermanentMemSpace *space = *i; local
272 CodeSpace *space = *i; local
[all...] |
| H A D | gc.cpp | 285 LocalMemSpace *space = *i; local
[all...] |
| H A D | scanaddrs.cpp | 237 MemSpace* space = gMem.SpaceForAddress(addressOfConstant); local
|
| H A D | polystring.cpp | 172 int space = MultiByteToWideChar(codePage, 0, iPtr, iLength, buff, (int)bufflen-1); local
|
| H A D | heapsizing.cpp | 214 LocalMemSpace *HeapSizeParameters::AddSpaceInMinorGC(uintptr_t space, bool isMutable) argument
[all...] |
| H A D | objsize.cpp | 125 MemSpace *space = *i; local
131 LocalMemSpace *space = *i; local
136 CodeSpace *space = *i; local
[all...] |
| H A D | quick_gc.cpp | 146 static bool atomiclySetForwarding(LocalMemSpace *space, ptrasint *pt, ptrasint testVal, ptrasint update) argument
344 LocalMemSpace *space = gMem.LocalSpaceForAddress(val.AsStackAddr()-1); local
414 MemSpace *space = gMem.SpaceForObjectAddress(base); local
429 TakeOwnership(LocalMemSpace *space) argument
460 LocalMemSpace *space = spaceTable[k]; local
469 LocalMemSpace *space = spaceTable[l]; local
528 LocalMemSpace *space = spaceTable[m]; local
586 PermanentMemSpace *space = *i; local
593 CodeSpace *space = *i; local
629 LocalMemSpace *space = *i; local
640 LocalMemSpace *space; local
[all...] |
| H A D | osmemunix.cpp | 224 AllocateDataArea(size_t& space) argument
255 FreeDataArea(void* p, size_t space) argument
273 AllocateCodeArea(size_t& space, void*& shadowArea) argument
317 FreeCodeArea(void* codeAddr, void* dataAddr, size_t space) argument
344 EnableWrite(bool enable, void* p, size_t space) argument
350 DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space) argument
402 AllocateDataArea(size_t &space) argument
422 FreeDataArea(void *p, size_t space) argument
427 EnableWrite(bool enable, void* p, size_t space) argument
433 AllocateCodeArea(size_t &space, void*& shadowArea) argument
473 FreeCodeArea(void *codeArea, void *dataArea, size_t space) argument
480 DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space) argument
[all...] |
| H A D | gc_mark_phase.cpp | 212 MarkableSpace *space = (MarkableSpace*)gMem.SpaceForObjectAddress(obj); local
567 MemSpace *space local
606 PermanentMemSpace *space = *i; local
649 ScanSpace(MarkableSpace *space) argument
701 SetBitmaps(LocalMemSpace *space, PolyWord *pt, PolyWord *top) argument
764 CodeSpace *space = (CodeSpace*)arg1; local
836 CodeSpace *space = *i; local
[all...] |
| H A D | pexport.cpp | 781 MemSpace* space = gMem.SpaceForObjectAddress(p); local
|
| H A D | sharedata.cpp | 400 MemSpace *space = gMem.SpaceForObjectAddress(ptrVector[j]); local
713 MemSpace *space = gMem.SpaceForObjectAddress(obj); local
[all...] |
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibParser.sig | 55 val space : char -> bool value
|
| H A D | mlibParser.sml | 237 val space = Char.isSpace; value
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | Holdep.sml | 27 val space = " "; value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sml | 192 val space = some isSpace; value
|
| H A D | Print.sig | 70 val space : ppstream value
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sml | 192 val space = some isSpace; value
|
| H A D | Print.sig | 70 val space : ppstream value
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | ForeignMemory.sml | 205 val space = alignUp(s + overhead, maxAlign) value
238 val space = allocCStack aligned value
[all...] |
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | BaseCodeTree.sml | 193 val space = PrettyBreak (1, 0) value
[all...] |
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | OldPP.sml | 200 val space = " " value
|