Searched refs:size_t (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dosmem.h25 // 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 Dstatistics.h91 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 Dosmemwin.cpp53 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 Dmachoexport.h51 void createStructsRelocation(unsigned area, size_t offset);
52 void adjustOffset(unsigned area, size_t &offset);
H A Dpolystring.h46 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 Dosmemunix.cpp156 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 Dio_internal.h91 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 Dbitmap.cpp59 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 Dpexport.h52 size_t getIndex(PolyObject *p);
H A Dstatistics.cpp300 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 Delfexport.h117 void createStructsRelocation(unsigned area, size_t offset, size_t addend);
H A Dbitmap.h34 bool Create(size_t bits);
H A Dmachoexport.cpp83 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 Dpolystring.cpp67 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 Dpexport.cpp72 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 Dwinguiconsole.cpp119 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 Dwinbasicio.cpp341 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 Dmemmgr.cpp160 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 Dheapsizing.cpp127 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 Dexporter.cpp166 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 Dmpoly.cpp248 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 DDataIn.c134 size_t typedef
213 size_t
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/bin/
H A Dwrapper.c95 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 DHeap.h94 return (size_t)i >= heap.size()
H A DGlobal.h61 template<class T> static inline T* xmalloc(size_t size) {
66 template<class T> static inline T* xrealloc(T* ptr, size_t size) {

Completed in 105 milliseconds

12