Searched refs:pSpaces (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_check_weak_ref.cpp145 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dcheck_objects.cpp163 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dmemmgr.cpp143 for (std::vector<PermanentMemSpace *>::iterator i = pSpaces.begin(); i < pSpaces.end(); i++)
316 pSpaces.push_back(space);
361 pSpaces.push_back(space);
501 std::vector<PermanentMemSpace*>::iterator i = pSpaces.begin();
502 while (i != pSpaces.end())
585 i = pSpaces.erase(i);
602 pSpaces.push_back(space);
620 for (std::vector<PermanentMemSpace*>::iterator i = pSpaces.begin(); i < pSpaces
[all...]
H A Dexporter.cpp151 graveYard = new GraveYard[gMem.pSpaces.size()];
155 Log("SAVE: Unable to allocate graveyard, size: %lu.\n", gMem.pSpaces.size());
160 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
639 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
662 if (hierarchy != 0) tableEntries += gMem.pSpaces.size();
669 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dgc_update_phase.cpp264 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dobjsize.cpp120 nBitmaps = (unsigned)(gMem.lSpaces.size()+gMem.pSpaces.size()+gMem.cSpaces.size()); //
123 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dgc.cpp158 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dprofiling.cpp298 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dsharedata.cpp233 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
934 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dgc_mark_phase.cpp604 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dquick_gc.cpp584 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dmemmgr.h368 std::vector<PermanentMemSpace *> pSpaces; member in class:MemMgr
H A Dpexport.cpp521 ASSERT(gMem.pSpaces.size() == 0);
885 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dgc_share_phase.cpp967 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
H A Dsavestate.cpp508 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)
529 exports.memTable = new memoryTableEntry[gMem.eSpaces.size()+gMem.pSpaces.size()+1];
534 for (std::vector<PermanentMemSpace*>::iterator i = gMem.pSpaces.begin(); i < gMem.pSpaces.end(); i++)

Completed in 133 milliseconds