Searched refs:writeAble (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_mark_phase.cpp369 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 Dmemmgr.h96 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 Dpoly_specific.cpp233 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 Dscanaddrs.cpp87 baseAddr = gMem.SpaceForAddress(baseAddr)->writeAble(baseAddr);
238 byte* addressToWrite = space->writeAble(addressOfConstant);
H A Dexporter.cpp372 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 Dmemmgr.cpp452 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 Dpexport.cpp426 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 Dsavestate.cpp613 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 Dsharedata.cpp551 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 Dx86_dep.cpp1105 byte* wr = gMem.SpaceForAddress(pt)->writeAble(pt);

Completed in 125 milliseconds