Searched refs:writeAble (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | gc_mark_phase.cpp | 369 sp->writeAble(obj)->SetLengthWord(L | _OBJ_GC_MARK); // Mark it 517 PolyObject* writeAble = secondWord; local 519 writeAble = gMem.SpaceForObjectAddress(secondWord)->writeAble(secondWord); 520 writeAble->SetLengthWord(secondWord->LengthWord() | _OBJ_GC_MARK); 529 PolyObject* writeAble = firstWord; local 531 writeAble = gMem.SpaceForObjectAddress(firstWord)->writeAble(firstWord); 532 writeAble->SetLengthWord(firstWord->LengthWord() | _OBJ_GC_MARK); 785 space->writeAble(ob [all...] |
H A D | memmgr.h | 96 byte* writeAble(byte* p) { function in class:MemSpace 102 PolyWord* writeAble(PolyWord* p) { function in class:MemSpace 108 PolyObject* writeAble(PolyObject* p) { function in class:MemSpace 109 return (PolyObject*)writeAble((PolyWord *) p);
|
H A D | poly_specific.cpp | 233 else memcpy(gMem.SpaceForObjectAddress(result)->writeAble((byte*)result), initCell, requiredSize * sizeof(PolyWord)); 294 gMem.SpaceForObjectAddress(codeObj)->writeAble(codeObj)->SetLengthWord(segLength, F_CODE_OBJ); 322 byte* writeable = gMem.SpaceForAddress(pointer)->writeAble(pointer); 382 byte* writable = gMem.SpaceForAddress(pointer)->writeAble(pointer);
|
H A D | scanaddrs.cpp | 87 baseAddr = gMem.SpaceForAddress(baseAddr)->writeAble(baseAddr); 238 byte* addressToWrite = space->writeAble(addressOfConstant);
|
H A D | exporter.cpp | 372 writAble = space->writeAble(newObj); 378 *space->writeAble(space->topPointer) = PolyWord::FromUnsigned(0); 412 writAble = space->writeAble(newObj); 418 *space->writeAble(space->topPointer) = PolyWord::FromUnsigned(0); 473 gMem.SpaceForObjectAddress(obj)->writeAble(obj)->SetLengthWord(ll); 476 gMem.SpaceForObjectAddress(obj)->writeAble(obj)->SetForwardingPtr(newObj); 543 gMem.SpaceForObjectAddress(obj)->writeAble(obj)->SetLengthWord(length); 837 *gMem.SpaceForAddress(pt)->writeAble(pt) = createRelocation(*pt, pt);
|
H A D | memmgr.cpp | 452 space->writeAble(space->topPointer)[0] = PolyWord::FromUnsigned(0); 600 FillUnusedSpace(space->writeAble(space->topPointer), space->top - space->topPointer); 761 writeAble(start)[0] = PolyWord::FromUnsigned(0); 797 FillUnusedSpace(allocSpace->writeAble(allocSpace->firstFree), allocSpace->top- allocSpace->firstFree); 853 space->writeAble(next++)[0] = PolyWord::FromUnsigned(0); 858 FillUnusedSpace(space->writeAble(next), spare); 864 space->writeAble(obj)->SetLengthWord(requiredSize, F_CODE_OBJ|F_MUTABLE_BIT);
|
H A D | pexport.cpp | 426 memSpace->writeAble(memSpace->bottom)[0] = PolyWord::FromUnsigned(0); 430 if (rounded != objWords) memSpace->writeAble(newObj)->Set(objWords, PolyWord::FromUnsigned(0)); 657 alloc->memSpace->writeAble(p)->SetLengthWord(nWords, objBits); 782 PolyObject *wr = space->writeAble(p);
|
H A D | savestate.cpp | 613 space->writeAble(obj)->SetLengthWord(lengthWord); 991 *gMem.SpaceForAddress(pt)->writeAble(pt) = RelocateAddress(val.AsObjPtr(originalBaseAddr)); 1273 PolyWord* writeAble = newSpace->writeAble(mem); 1275 fread(writeAble, descr->segmentSize, 1, loadFile) != 1) 1281 gMem.FillUnusedSpace(writeAble +descr->segmentSize/sizeof(PolyWord), 2104 memcpy(newSpace->writeAble(mem), memTable[i].mtCurrentAddr, memTable[i].mtLength); 2106 gMem.FillUnusedSpace(newSpace->writeAble(unused),
|
H A D | sharedata.cpp | 551 obj = gMem.SpaceForObjectAddress(obj)->writeAble(obj); // This could be code. 778 gMem.SpaceForObjectAddress(obj)->writeAble(obj)->SetLengthWord(L | _OBJ_GC_MARK); // To prevent rescan 851 gMem.SpaceForObjectAddress(obj)->writeAble(obj)->SetLengthWord(OBJ_SET_DEPTH(0)); // Now scanned
|
H A D | x86_dep.cpp | 1105 byte* wr = gMem.SpaceForAddress(pt)->writeAble(pt);
|
Completed in 71 milliseconds