/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | bitmap.h | 40 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 D | heapsizing.h | 37 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 D | bitmap.cpp | 79 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 D | memmgr.h | 86 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 D | run_time.h | 56 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 D | osmemwin.cpp | 66 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 D | heapsizing.cpp | 140 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 D | diagnostics.h | 42 extern void LogSize(uintptr_t wordSize);
|
H A D | gc_copy_phase.cpp | 93 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 D | rtsentry.h | 58 uintptr_t value;
|
H A D | memmgr.cpp | 104 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 D | scanaddrs.cpp | 94 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 D | osmemunix.cpp | 180 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 D | interpret.cpp | 109 #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 D | osmem.h | 98 uintptr_t lastAllocated;
|
H A D | run_time.cpp | 72 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 D | diagnostics.cpp | 191 void LogSize(uintptr_t wordSize) 193 uintptr_t size = wordSize * sizeof(PolyWord);
|
H A D | x86_dep.cpp | 155 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 D | processes.h | 130 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 D | quick_gc.cpp | 142 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 D | gc.cpp | 168 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 D | pexport.cpp | 130 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 D | DataIn.c | 87 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 D | EventTo.c | 99 uintptr_t typedef 1932 uintptr_t 1936 uintptr_t 1969 uintptr_t
|
/seL4-l4v-master/HOL4/polyml/ |
H A D | polyexports.h | 32 // Get uintptr_t 56 uintptr_t mtLength; // The length in bytes of the area
|