Searched refs:mtAddr (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | pecoffexport.cpp | 95 DWORD offset = (DWORD)((char*)p - (char*)memTable[area].mtAddr);
107 POLYUNSIGNED offset = (char*)addr - (char*)memTable[addrArea].mtAddr;
166 POLYUNSIGNED offset = (char*)a - (char*)memTable[aArea].mtAddr;
273 char *start = (char*)memTable[i].mtAddr;
329 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr);
341 fwrite(memTable[i].mtAddr, 1, memTable[i].mtLength, exportFile);
350 exports.rootFunction = (void*)((char*)rootFunction - (char*)memTable[rootAddrArea].mtAddr);
358 memTable[i].mtAddr = 0;
|
| H A D | machoexport.cpp | 106 POLYUNSIGNED offset = (char*)p - (char*)memTable[area].mtAddr;
115 POLYUNSIGNED offset = (char*)addr - (char*)memTable[addrArea].mtAddr;
156 POLYUNSIGNED offset = (char*)a - (char*)memTable[aArea].mtAddr;
207 POLYUNSIGNED addrOffset = (char*)addr - (char*)memTable[addrArea].mtAddr;
389 char *start = (char*)memTable[i].mtAddr;
414 POLYUNSIGNED rootOffset = (char*)rootFunction - (char*)memTable[rootAddrArea].mtAddr;
422 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr));
492 void *save = memTable[i].mtAddr;
493 memTable[i].mtAddr = (void*)addrOffset; // Set this to the relative address.
496 memTable[i].mtAddr
[all...] |
| H A D | elfexport.cpp | 303 POLYUNSIGNED offset = (char*)p - (char*)memTable[area].mtAddr;
312 POLYUNSIGNED offset = (char*)addr - (char*)memTable[addrArea].mtAddr;
360 POLYUNSIGNED offset = (char*)a - (char*)memTable[aArea].mtAddr;
626 char *start = (char*)memTable[i].mtAddr;
660 POLYSIGNED rootOffset = (char*)rootFunction - (char*)memTable[rootAddrArea].mtAddr;
667 sizeof(exportDescription) + i * sizeof(memoryTableEntry) + offsetof(memoryTableEntry, mtAddr),
709 fwrite(memTable[i].mtAddr, 1, memTable[i].mtLength, exportFile);
728 memTable[i].mtAddr = 0;
|
| H A D | savestate.cpp | 306 POLYUNSIGNED offset = (char*)p - (char*)memTable[area].mtAddr;
319 reloc.targetAddress = (char*)addr - (char*)memTable[addrArea].mtAddr;
349 reloc.targetAddress = (char*)a - (char*)memTable[aArea].mtAddr;
502 entry->mtAddr = space->bottom;
523 entry->mtAddr = space->bottom;
632 descrs[j].originalAddress = entry->mtAddr;
663 char *start = (char*)entry->mtAddr;
681 fwrite(entry->mtAddr, entry->mtLength, 1, exports.exportFile);
1524 modHeader.rootOffset = (char*)this->rootFunction - (char*)mt->mtAddr;
1542 thisDescr->originalAddress = entry->mtAddr;
[all...] |
| H A D | pexport.cpp | 254 if (memTable[*it].mtAddr >= memTable[i].mtAddr)
264 char *start = (char*)memTable[index].mtAddr;
283 char *start = (char*)memTable[i].mtAddr;
|
| H A D | exporter.cpp | 577 entry->mtAddr = space->bottom;
592 entry->mtAddr = space->bottom;
736 if (p > memTable[i].mtAddr &&
737 p <= (char*)memTable[i].mtAddr + memTable[i].mtLength)
|
| H A D | mpoly.cpp | 527 (PolyWord*)memTable[i].mtAddr,
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | polyexports.h | 54 void *mtAddr; // The address of the area of memory member in struct:_memTableEntry
|
Completed in 44 milliseconds