Searched refs:uintptr_t (Results 1 - 25 of 46) sorted by relevance

12

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbitmap.h40 static unsigned char BitN(uintptr_t n) { return 1 << (n & 7); }
45 void SetBit(uintptr_t n) { m_bits[n >> 3] |= BitN(n); }
47 void ClearBit(uintptr_t n) { m_bits[n >> 3] &= (0xff ^ BitN(n)); }
49 void SetBits(uintptr_t bitno, uintptr_t length);
51 void ClearBits(uintptr_t bitno, uintptr_t length);
53 bool TestBit(uintptr_t n) const { return (m_bits[n >> 3] & BitN(n)) != 0; }
55 uintptr_t CountZeroBits(uintptr_t bitn
[all...]
H A Dheapsizing.h37 void SetHeapParameters(uintptr_t minsize, uintptr_t maxsize, uintptr_t initialsize, unsigned percent);
39 void SetReservation(uintptr_t rsize);
43 LocalMemSpace *AddSpaceInMinorGC(uintptr_t space, bool isMutable);
50 void AdjustSizeAfterMajorGC(uintptr_t wordsRequired);
51 bool AdjustSizeAfterMinorGC(uintptr_t spaceAfterGC, uintptr_t spaceBeforeGC);
78 double costFunction(uintptr_t heapSize, bool withSharing, bool withSharingCost);
80 bool getCostAndSize(uintptr_t
[all...]
H A Dbitmap.cpp79 void Bitmap::SetBits(uintptr_t bitno, uintptr_t length)
81 uintptr_t byte_index = bitno >> 3;
86 uintptr_t start_bit_index = bitno & 7;
87 uintptr_t stop_bit_index = start_bit_index + length;
133 void Bitmap::ClearBits(uintptr_t bitno, uintptr_t length)
135 uintptr_t byte_index = bitno >> 3;
136 uintptr_t start_bit_index = bitno & 7;
137 uintptr_t stop_bit_inde
[all...]
H A Dmemmgr.h86 uintptr_t spaceSize(void)const { return top-bottom; } // No of words
160 bool InitSpace(PolyWord *heapPtr, uintptr_t size, bool mut);
181 uintptr_t start[NSTARTS]; /* starting points for bit searches. */
183 uintptr_t i_marked; /* count of immutable words marked. */
184 uintptr_t m_marked; /* count of mutable words marked. */
185 uintptr_t updated; /* count of words updated. */
187 uintptr_t allocatedSpace(void)const // Words allocated
189 uintptr_t freeSpace(void)const // Words free
203 uintptr_t wordNo(PolyWord *pt) { return pt - bottom; }
204 PolyWord *wordAddr(uintptr_t bitn
[all...]
H A Drun_time.h56 extern PolyObject *alloc(TaskData *taskData, uintptr_t words, unsigned flags = 0);
57 extern Handle alloc_and_save(TaskData *taskData, uintptr_t words, unsigned flags = 0);
82 extern void CheckAndGrowStack(TaskData *mdTaskData, uintptr_t minSize);
98 extern Handle Make_sysword(TaskData *taskData, uintptr_t p);
100 extern Handle MakeVolatileWord(TaskData *taskData, uintptr_t p);
H A Dosmemwin.cpp66 if ((uintptr_t)memBase < ((uintptr_t)1 << 32))
95 uintptr_t pages = (space + pageSize - 1) / pageSize;
101 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages);
114 uintptr_t offset = (addr - memBase) / pageSize;
117 uintptr_t pages = space / pageSize;
132 uintptr_t pages = (space + pageSize - 1) / pageSize;
138 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages);
156 uintptr_t offset = (addr - memBase) / pageSize;
159 uintptr_t page
[all...]
H A Dheapsizing.cpp140 void HeapSizeParameters::SetHeapParameters(uintptr_t minsize, uintptr_t maxsize, uintptr_t initialsize, unsigned percent)
144 uintptr_t initialSize = K_to_words(initialsize);
146 uintptr_t memsize = GetPhysicalMemorySize() / sizeof(PolyWord);
206 void HeapSizeParameters::SetReservation(uintptr_t rsize)
214 LocalMemSpace *HeapSizeParameters::AddSpaceInMinorGC(uintptr_t space, bool isMutable)
217 uintptr_t spaceAllocated = gMem.CurrentHeapSize() - gMem.CurrentAllocSpace();
221 uintptr_t spaceSize = gMem.DefaultSpaceSize();
273 void HeapSizeParameters::AdjustSizeAfterMajorGC(uintptr_t wordsRequire
[all...]
H A Ddiagnostics.h42 extern void LogSize(uintptr_t wordSize);
H A Dgc_copy_phase.cpp93 static inline PolyWord *FindFreeAndAllocate(LocalMemSpace *dst, uintptr_t limit, uintptr_t n)
116 uintptr_t start = dst->start[truncated_n];
124 uintptr_t free = start;
125 uintptr_t m = n & 1 ? n + 1 : n; // If n is odd round up.
128 uintptr_t lastFree = free;
258 uintptr_t bitno = src->wordNo(src->fullGCLowerLimit);
266 uintptr_t highest = src->wordNo(src->top);
353 uintptr_t highest = lSpace->wordNo(lSpace->top);
H A Drtsentry.h58 uintptr_t value;
H A Dmemmgr.cpp104 bool LocalMemSpace::InitSpace(PolyWord *heapSpace, uintptr_t size, bool mut)
184 LocalMemSpace* MemMgr::NewLocalSpace(uintptr_t size, bool mut)
237 LocalMemSpace *MemMgr::CreateAllocationSpace(uintptr_t size)
297 PermanentMemSpace* MemMgr::NewPermanentSpace(PolyWord *base, uintptr_t words,
330 PermanentMemSpace *MemMgr::AllocateNewPermanentSpace(uintptr_t byteSize, unsigned flags, unsigned index, unsigned hierarchy)
416 PermanentMemSpace* MemMgr::NewExportSpace(uintptr_t size, bool mut, bool noOv, bool code)
631 void MemMgr::FillUnusedSpace(PolyWord *base, uintptr_t words)
638 if (((uintptr_t)pDummy) & 4)
661 PolyWord *MemMgr::AllocHeapSpace(uintptr_t minWords, uintptr_t
[all...]
H A Dscanaddrs.cpp94 if ((*(uintptr_t*)baseAddr & 1) == 0)
168 if ((((uintptr_t)pt) & 4) == 0)
208 uintptr_t valu;
210 if (pt[sizeof(uintptr_t)-1] & 0x80) valu = 0-1; else valu = 0;
211 for (unsigned i = sizeof(uintptr_t); i > 0; i--)
243 uintptr_t valu = (uintptr_t)p;
244 for (unsigned i = 0; i < sizeof(uintptr_t); i++)
H A Dosmemunix.cpp180 if ((uintptr_t)memBase < ((uintptr_t)1 << 32))
205 ASSERT((uintptr_t)memBase >= ((uintptr_t)1 << 32));
229 uintptr_t pages = (space + pageSize - 1) / pageSize;
235 uintptr_t free = pageMap.FindFree(0, lastAllocated, pages);
258 uintptr_t offset = (addr - memBase) / pageSize;
263 uintptr_t pages = space / pageSize;
275 uintptr_t offset;
278 uintptr_t page
[all...]
H A Dinterpret.cpp109 #define LGWORDSIZE (sizeof(uintptr_t) / sizeof(PolyWord))
145 virtual uintptr_t currentStackSpace(void) const { return ((stackItem*)this->stack->top - this->taskSp) + OVERFLOW_STACK_SIZE; }
149 virtual void CopyStackFrame(StackObject *old_stack, uintptr_t old_length, StackObject *new_stack, uintptr_t new_length);
343 uintptr_t stack_size = space->spaceSize() * sizeof(PolyWord) / sizeof(stackItem);
604 uintptr_t min_size = (this->stack->top - (PolyWord*)sp) + OVERFLOW_STACK_SIZE + stackCheck;
715 (*sp).w().AsObjPtr()->Set(*pc++ + sizeof(uintptr_t) / sizeof(PolyWord), u);
723 { PolyWord u = sp[*pc++]; *(--sp) = u.AsObjPtr()->Get(*pc++ + sizeof(uintptr_t) / sizeof(PolyWord)); break; }
726 { PolyWord u = sp[*pc++]; *(--sp) = u.AsObjPtr()->Get(sizeof(uintptr_t) / sizeof(PolyWord)); break; }
729 { PolyWord u = sp[*pc++]; *(--sp) = u.AsObjPtr()->Get(sizeof(uintptr_t) / sizeo
[all...]
H A Dosmem.h98 uintptr_t lastAllocated;
H A Drun_time.cpp72 PolyObject *alloc(TaskData *taskData, uintptr_t data_words, unsigned flags)
102 Handle alloc_and_save(TaskData *taskData, uintptr_t size, unsigned flags)
297 void CheckAndGrowStack(TaskData *taskData, uintptr_t minSize)
304 uintptr_t old_len = taskData->stack->spaceSize();
309 uintptr_t new_len; /* New size */
311 uintptr_t limitSize = getPolyUnsigned(taskData, taskData->threadObject->mlStackSize);
376 Handle Make_sysword(TaskData *taskData, uintptr_t p)
378 Handle result = alloc_and_save(taskData, sizeof(uintptr_t)/sizeof(PolyWord), F_BYTE_OBJ);
379 *(uintptr_t*)(result->Word().AsCodePtr()) = p;
393 Handle MakeVolatileWord(TaskData *taskData, uintptr_t
[all...]
H A Ddiagnostics.cpp191 void LogSize(uintptr_t wordSize)
193 uintptr_t size = wordSize * sizeof(PolyWord);
H A Dx86_dep.cpp155 uintptr_t saveCStack; // Saved C stack frame.
188 #define LGWORDSIZE (sizeof(uintptr_t) / sizeof(PolyWord))
212 virtual uintptr_t currentStackSpace(void) const
214 OVERFLOW_STACK_SIZE*sizeof(uintptr_t)/sizeof(PolyWord); }
226 virtual void CopyStackFrame(StackObject *old_stack, uintptr_t old_length, StackObject *new_stack, uintptr_t new_length);
273 virtual unsigned InitialStackSize(void) { return (128+OVERFLOW_STACK_SIZE) * sizeof(uintptr_t) / sizeof(PolyWord); }
343 if (stackItem.argValue < ((uintptr_t)1 << 32))
389 void X86TaskData::CopyStackFrame(StackObject *old_stack, uintptr_t old_length, StackObject *new_stack, uintptr_t new_lengt
[all...]
H A Dprocesses.h130 virtual void CopyStackFrame(StackObject *old_stack, uintptr_t old_length,
131 StackObject *new_stack, uintptr_t new_length) = 0;
134 virtual uintptr_t currentStackSpace(void) const = 0;
145 uintptr_t allocSize; // The preferred heap segment size
H A Dquick_gc.cpp142 typedef uintptr_t ptrasint;
151 uintptr_t result = InterlockedCompareExchange64(address, update, testVal);
155 uintptr_t result = InterlockedCompareExchange(address, update, testVal);
159 uintptr_t result;
168 uintptr_t result;
484 if ((((uintptr_t)p) & 4) == 0)
507 if ((((uintptr_t)obj) & 4) != 0) // Should be on an even-word boundary
552 uintptr_t spaceBeforeGC = 0;
659 uintptr_t spaceAfterGC = 0;
670 uintptr_t fre
[all...]
H A Dgc.cpp168 uintptr_t bitCount = 0, markCount = 0;
214 uintptr_t iMarked = 0, mMarked = 0;
215 uintptr_t iSpace = 0, mSpace = 0;
249 uintptr_t iUpdated = 0, mUpdated = 0, iMarked = 0, mMarked = 0;
286 uintptr_t free = space->freeSpace();
H A Dpexport.cpp130 if (p->IsMutable() && p->IsWeakRefObject() && p->Length() >= sizeof(uintptr_t) / sizeof(PolyWord))
134 if (p->Length() == sizeof(uintptr_t)/sizeof(PolyWord))
136 else if (p->Length() > sizeof(uintptr_t) / sizeof(PolyWord))
140 const char* name = (char*)p + sizeof(uintptr_t);
142 *(uintptr_t*)p = 0; // Entry point
338 if (((uintptr_t)obj & 4) != 0 && length == 0)
432 ASSERT(((uintptr_t)newObj & 0x7) == 0);
629 nWords = sizeof(uintptr_t)/sizeof(PolyWord);
637 // Add one uintptr_t plus one plus padding to an integral number of words.
638 nWords = (nBytes + sizeof(uintptr_t)
[all...]
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c87 uintptr_t typedef
595 uintptr_t
600 uintptr_t
605 uintptr_t
610 uintptr_t
640 uintptr_t
645 uintptr_t
679 uintptr_t
684 uintptr_t
H A DEventTo.c99 uintptr_t typedef
1932 uintptr_t
1936 uintptr_t
1969 uintptr_t
/seL4-l4v-master/HOL4/polyml/
H A Dpolyexports.h32 // Get uintptr_t
56 uintptr_t mtLength; // The length in bytes of the area

Completed in 211 milliseconds

12