Searched refs:lSpace (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp136 LocalMemSpace *lSpace = *i; local
137 ASSERT (lSpace->top >= lSpace->upperAllocPtr);
138 ASSERT (lSpace->upperAllocPtr >= lSpace->lowerAllocPtr);
139 ASSERT (lSpace->lowerAllocPtr >= lSpace->bottom);
141 lSpace->highestWeak = lSpace->bottom;
142 lSpace
165 LocalMemSpace *lSpace = *i; local
184 LocalMemSpace *lSpace = *i; local
203 LocalMemSpace *lSpace = *i; local
236 LocalMemSpace *lSpace = *i; local
254 LocalMemSpace *lSpace = *i; local
[all...]
H A Dquick_gc.cpp60 // This protects access to the gMem.lSpace table.
185 LocalMemSpace *lSpace = FindSpace(n, isMutable); local
186 if (lSpace == 0)
188 PolyObject *newObject = (PolyObject*)(lSpace->lowerAllocPtr+1);
226 lSpace->lowerAllocPtr += n+1;
236 LocalMemSpace *lSpace = isMutable ? mutableSpace : immutableSpace; local
238 if (lSpace != 0)
241 if (lSpace->freeSpace() > n /* At least n+1*/)
242 return lSpace;
250 (lSpace
266 LocalMemSpace *lSpace = isMutable ? mutableSpace : immutableSpace; local
518 LocalMemSpace *lSpace = *i; local
631 LocalMemSpace *lSpace = *i; local
[all...]
H A Dgc_copy_phase.cpp200 LocalMemSpace *lSpace = *m;
201 if (lSpace == src)
208 if (lSpace->isMutable == isMutable && !lSpace->allocationSpace && lSpace->spaceOwner == 0)
212 if (lSpace->spaceOwner == 0)
215 lSpace->spaceOwner = id;
216 *dst = lSpace; // Return the space
219 isMutable ? "mutable" : "immutable", src, lSpace);
347 LocalMemSpace *lSpace
[all...]
H A Dcheck_objects.cpp66 LocalMemSpace *lSpace = (LocalMemSpace*)space; local
67 if (!((pt > lSpace->bottom && pt+length <= lSpace->lowerAllocPtr) ||
68 (pt > lSpace->upperAllocPtr && pt+length <= space->top)))
71 ASSERT((pt > lSpace->bottom && pt+length <= lSpace->lowerAllocPtr) ||
72 (pt > lSpace->upperAllocPtr && pt+length <= space->top));
H A Dgc_mark_phase.cpp724 LocalMemSpace *lSpace = (LocalMemSpace *)arg1; local
725 lSpace->bitmap.ClearBits(0, lSpace->spaceSize());
726 SetBitmaps(lSpace, lSpace->bottom, lSpace->top);
780 LocalMemSpace *lSpace = *i; local
781 lSpace->i_marked = lSpace->m_marked = 0;
782 lSpace
821 LocalMemSpace *lSpace = *i; local
[all...]
H A Dgc_share_phase.cpp639 LocalMemSpace *lSpace = *i; local
640 lSpace->bitmap.ClearBits(0, lSpace->spaceSize());
H A Dsavestate.cpp1727 LocalMemSpace *lSpace = gMem.NewLocalSpace(actualSize, descr->segmentFlags & SSF_WRITABLE);
1728 if (lSpace == 0)
1733 space = lSpace;
1734 lSpace->lowerAllocPtr = (PolyWord*)((byte*)lSpace->bottom + descr->segmentSize);

Completed in 101 milliseconds