Searched refs:mtLength (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | polyexports.h | 55 uintptr_t mtLength; // The length in bytes of the area member in struct:_memTableEntry
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | machoexport.cpp | 92 offset += memTable[i].mtLength;
312 sHdr.filesize += memTable[i].mtLength; // Do we need any alignment?
351 sections[i].size = memTable[i].mtLength;
352 sectAddr += memTable[i].mtLength;
390 char *end = start + memTable[i].mtLength;
494 addrOffset += memTable[i].mtLength;
504 fwrite(memTable[i].mtAddr, 1, memTable[i].mtLength, exportFile);
|
| H A D | pecoffexport.cpp | 229 sections[i].SizeOfRawData = (DWORD)memTable[i].mtLength;
274 char *end = start + memTable[i].mtLength;
341 fwrite(memTable[i].mtAddr, 1, memTable[i].mtLength, exportFile);
|
| H A D | elfexport.cpp | 627 char *end = start + memTable[i].mtLength;
651 areaSpace += memTable[i].mtLength;
706 sections[dataSection].sh_size = memTable[i].mtLength;
709 fwrite(memTable[i].mtAddr, 1, memTable[i].mtLength, exportFile);
|
| H A D | savestate.cpp | 503 entry->mtLength = (space->topPointer-space->bottom)*sizeof(PolyWord);
524 entry->mtLength = (space->topPointer-space->bottom)*sizeof(PolyWord);
631 descrs[j].segmentSize = entry->mtLength; // Set this even if we don't write it.
664 char *end = start + entry->mtLength;
681 fwrite(entry->mtAddr, entry->mtLength, 1, exports.exportFile);
1541 thisDescr->segmentSize = entry->mtLength; // Set this even if we don't write it.
1572 char *end = start + entry->mtLength;
1588 fwrite(entry->mtAddr, entry->mtLength, 1, exportFile);
|
| H A D | pexport.cpp | 265 char *end = start + memTable[index].mtLength;
284 char *end = start + memTable[i].mtLength;
|
| H A D | exporter.cpp | 578 entry->mtLength = (space->topPointer-space->bottom)*sizeof(PolyWord);
593 entry->mtLength = (space->topPointer-space->bottom)*sizeof(PolyWord);
737 p <= (char*)memTable[i].mtAddr + memTable[i].mtLength)
|
| H A D | mpoly.cpp | 528 memTable[i].mtLength/sizeof(PolyWord), (unsigned)memTable[i].mtFlags,
|
Completed in 47 milliseconds