/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | osmem.h | 25 // We need size_t so include these two here. 58 bool Initialise(enum _MemUsage usage, size_t space = 0, void** pBase = 0); 63 void *AllocateDataArea(size_t& bytes); 67 bool FreeDataArea(void* p, size_t space); 71 bool EnableWrite(bool enable, void* p, size_t space); 76 void *AllocateCodeArea(size_t& bytes, void*& shadowArea); 79 bool FreeCodeArea(void* codeAddr, void* dataAddr, size_t space); 83 bool DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space); 86 size_t pageSize; 93 size_t allocPt [all...] |
H A D | statistics.h | 91 void setSize(int which, size_t s); 92 void incSize(int which, size_t s); 93 void decSize(int which, size_t s); 94 size_t getSize(int which); 110 void updatePeriodicStats(size_t freeSpace, unsigned threadsInML); 124 size_t memSize; 132 Handle returnStatistics(TaskData *taskData, const unsigned char *stats, size_t size); 138 size_t getSizeWithLock(int which); 139 void setSizeWithLock(int which, size_t s);
|
H A D | osmemwin.cpp | 53 bool OSMem::Initialise(enum _MemUsage usage, size_t space /* = 0 */, void** pBase /* = 0 */) 59 // Get the page size. Put it in a size_t variable otherwise the rounding 90 void* OSMem::AllocateDataArea(size_t& space) 111 bool OSMem::FreeDataArea(void* p, size_t space) 127 void* OSMem::AllocateCodeArea(size_t& space, void*& shadowArea) 152 bool OSMem::FreeCodeArea(void* codeAddr, void* dataAddr, size_t space) 169 bool OSMem::EnableWrite(bool enable, void* p, size_t space) 175 bool OSMem::DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space) 194 bool OSMem::Initialise(enum _MemUsage usage, size_t space /* = 0 */, void **pBase /* = 0 */) 200 // Get the page size. Put it in a size_t variabl [all...] |
H A D | machoexport.h | 51 void createStructsRelocation(unsigned area, size_t offset); 52 void adjustOffset(unsigned area, size_t &offset);
|
H A D | polystring.h | 46 extern PolyWord C_string_to_Poly(TaskData *mdTaskData, const char *buffer, size_t buffLen = -1); 48 extern char *Poly_string_to_C_alloc(PolyWord ps, size_t extraChars = 0); 81 extern PolyWord C_string_to_Poly(TaskData *mdTaskData, const WCHAR *buffer, size_t buffLen = -1); 83 extern WCHAR *Poly_string_to_U_alloc(PolyWord ps, size_t extraChars = 0);
|
H A D | osmemunix.cpp | 156 bool OSMem::Initialise(enum _MemUsage usage, size_t space /* = 0 */, void** pBase /* = 0 */) 224 void* OSMem::AllocateDataArea(size_t& space) 255 bool OSMem::FreeDataArea(void* p, size_t space) 273 void* OSMem::AllocateCodeArea(size_t& space, void*& shadowArea) 317 bool OSMem::FreeCodeArea(void* codeAddr, void* dataAddr, size_t space) 344 bool OSMem::EnableWrite(bool enable, void* p, size_t space) 350 bool OSMem::DisableWriteForCode(void* codeAddr, void* dataAddr, size_t space) 373 bool OSMem::Initialise(enum _MemUsage usage, size_t space /* = 0 */, void **pBase /* = 0 */) 402 void *OSMem::AllocateDataArea(size_t &space) 422 bool OSMem::FreeDataArea(void *p, size_t spac [all...] |
H A D | io_internal.h | 91 virtual size_t readStream(TaskData *taskData, byte *base, size_t length) { 106 virtual size_t writeStream(TaskData *taskData, byte *base, size_t length) { 125 virtual size_t readStream(TaskData *taskData, byte *base, size_t length); 134 virtual size_t writeStream(TaskData *taskData, byte *base, size_t length);
|
H A D | bitmap.cpp | 59 bool Bitmap::Create(size_t bits) 62 size_t bytes = (bits+7) >> 3; 250 size_t bytes = (size+7) >> 3; 252 for (size_t i = 0; i < bytes; i++) 274 size_t byteno = bitno >> 3;
|
H A D | pexport.h | 52 size_t getIndex(PolyObject *p);
|
H A D | statistics.cpp | 300 size_t tMapSize = strlen(baseName) + strlen(subDirName) + strlen(POLY_STATS_NAME) + 100; 306 if (cx < 0 || (size_t)cx >= tMapSize) 311 if (cx < 0 || (size_t)cx >= tMapSize) 343 size_t nameLength = strlen(name); 357 size_t length = newPtr - tagStart; 378 size_t nameLength = strlen(name); 385 unsigned bytes = sizeof(size_t) + 1; 391 size_t length = newPtr - tagStart; 412 size_t nameLength = strlen(name); 429 size_t lengt [all...] |
H A D | elfexport.h | 117 void createStructsRelocation(unsigned area, size_t offset, size_t addend);
|
H A D | bitmap.h | 34 bool Create(size_t bits);
|
H A D | machoexport.cpp | 83 void MachoExport::adjustOffset(unsigned area, size_t &offset) 105 size_t offset = (char*)p - (char*)memTable[area].mtOriginalAddr; 114 size_t offset = (char*)addr - (char*)memTable[addrArea].mtOriginalAddr; 156 size_t offset = (char*)a - (char*)memTable[aArea].mtOriginalAddr; 207 size_t addrOffset = (char*)addr - (char*)memTable[addrArea].mtOriginalAddr; 235 void MachoExport::createStructsRelocation(unsigned sect, size_t offset) 261 size_t sectionSize = sizeof(section_64); 266 size_t sectionSize = sizeof(section); 418 size_t rootOffset = (char*)rootFunction - (char*)memTable[rootAddrArea].mtOriginalAddr; 498 size_t addrOffse [all...] |
H A D | polystring.cpp | 67 PolyWord C_string_to_Poly(TaskData *mdTaskData, const char *buffer, size_t buffLen) 72 if (buffLen == (size_t)-1) buffLen = strlen(buffer); 95 char *Poly_string_to_C_alloc(PolyWord ps, size_t extraChars) 134 PolyWord C_string_to_Poly(TaskData *mdTaskData, const WCHAR *buffer, size_t buffLen) 184 WCHAR *Poly_string_to_U_alloc(PolyWord ps, size_t extraChars)
|
H A D | pexport.cpp | 72 size_t PExport::getIndex(PolyObject *p) 75 size_t lower = 0, upper = pMap.size(); 79 size_t middle = (lower+upper)/2; 115 size_t myIndex = getIndex(p); 284 std::vector<size_t> indexOrder; 287 for (size_t i = 0; i < memTableEntries; i++) 289 std::vector<size_t>::iterator it; 298 for (std::vector<size_t>::iterator i = indexOrder.begin(); i != indexOrder.end(); i++) 300 size_t index = *i; 326 for (size_t [all...] |
H A D | winguiconsole.cpp | 119 static void CheckForScreenSpace(size_t nChars) 123 size_t limit = SendMessage(hEditWnd, EM_GETLIMITTEXT, 0, 0); 124 size_t size = SendMessage(hEditWnd, WM_GETTEXTLENGTH, 0, 0); 548 virtual size_t readStream(TaskData *taskData, byte *base, size_t length); 559 virtual size_t writeStream(TaskData *taskData, byte *base, size_t length) { 580 size_t WinGuiConsoleStream::readStream(TaskData *taskData, byte *base, size_t length)
|
H A D | winbasicio.cpp | 341 size_t WinInOutStream::readStream(TaskData *taskData, byte *base, size_t length) 345 size_t copied = 0; 526 size_t WinInOutStream::writeStream(TaskData *taskData, byte *base, size_t length) 533 size_t copied = 0; 598 size_t length = getPolyUnsigned(taskData, DEREFWORDHANDLE(args)->Get(2)); 599 size_t haveRead = strm->readStream(taskData, base + offset, length); 609 size_t length = getPolyUnsigned(taskData, DEREFWORD(args)); 629 size_t haveRea [all...] |
H A D | memmgr.cpp | 160 if (!osHeapAlloc.Initialise(OSMem::UsageData, (size_t)16 * 1024 * 1024 * 1024, &heapBase)) 167 if (!osStackAlloc.Initialise(OSMem::UsageStack, (size_t)4 * 1024 * 1024 * 1024)) 173 (size_t)2 * 1024 * 1024 * 1024, &codeBase)) 192 size_t rSpace = reservedSpace*sizeof(PolyWord); 206 size_t iSpace = size * sizeof(PolyWord); 335 size_t actualSize = byteSize; 427 size_t iSpace = size*sizeof(PolyWord); 775 size_t actualSize = size * sizeof(PolyWord); 820 size_t i = 0; 983 size_t iSpac [all...] |
H A D | heapsizing.cpp | 127 static size_t GetPhysicalMemorySize(void); 927 static size_t GetPhysicalMemorySize(void) 929 size_t maxMem = (size_t)0-1; // Maximum unsigned value. 943 return (size_t)memStatEx.ullTotalPhys; 970 size_t len = sizeof(physMem); 976 return (size_t)physMem; 985 size_t len = sizeof(physMem);
|
H A D | exporter.cpp | 166 size_t size = (space->top-space->bottom)/4; 368 size_t spaceLeft = space->top - space->topPointer; 552 static void FixForwarding(PolyWord *pt, size_t space) 566 size_t length = OBJ_OBJECT_LENGTH(GetObjLength(obj)); 586 size_t extLen = _tcslen(extension); 590 size_t length = _tcslen(fileNameBuff); 660 size_t tableEntries = gMem.eSpaces.size();
|
H A D | mpoly.cpp | 248 size_t argl = _tcslen(argTable[j].argName); 310 if (_tcslen(debugOptTable[k].optName) == (size_t)(q-p) &&
|
/seL4-l4v-master/l4v/camkes/glue-proofs/ |
H A D | DataIn.c | 134 size_t typedef 213 size_t
|
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
H A D | wrapper.c | 95 char * alloc_executable(size_t len) { /* len = number of bytes */ 97 size_t page_size = getpagesize();
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Heap.h | 94 return (size_t)i >= heap.size()
|
H A D | Global.h | 61 template<class T> static inline T* xmalloc(size_t size) { 66 template<class T> static inline T* xrealloc(T* ptr, size_t size) {
|